File information
- Filename: coq-debugsource-8.13.2-bp155.2.13.aarch64.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP5/standard_debug/aarch64/coq-debugsource-8.13.2-bp155.2.13.aarch64.rpm
- Size: 1.8MiB (1841648 bytes)
- Last modified: 22-May-2023 11:02:00 (Unix timestamp: 1684753320)
- SHA-512 Hash: ab3b0758010622a1bd9f7db8b404046ff95699b8221e253eb285c81281297596820150ad2f17bafa2d1dc41f6b2f10d845c6a046f60785c78cd80ccb869d1f77
- SHA-256 Hash: 183a8e90d3da34c1c0c8a2c1395708cdcf2d5c5d403a0e6a24b798d9d677afc5
- SHA-1 Hash: 71e1e2a91e3fb8a8786b6f8f589d8bc1c6b577e2
- MD5 Hash: cf1fb114f921c18175c2b06c37094c5e
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP5/standard_debug/aarch64/coq-debugsource-8.13.2-bp155.2.13.aarch64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.143, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 0
- None