File information
- Filename: coq-ide-debuginfo-8.13.2-bp154.1.1.armv7hl.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/step/armv7hl/coq-ide-debuginfo-8.13.2-bp154.1.1.armv7hl.rpm
- Size: 1.7MiB (1784544 bytes)
- Last modified: 17-Mar-2022 16:31:47 (Unix timestamp: 1647534707)
- SHA-256 Hash: 2d8d5ae44058f700a1343fd641c5476bb2012c52408cc301a0279e9b4b452674
- SHA-1 Hash: 83d263d40162237b74c3c9834bd09ba71360eac5
- MD5 Hash: de03fb2b3eba42423eb67092d0ac48b3
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/step/armv7hl/coq-ide-debuginfo-8.13.2-bp154.1.1.armv7hl.rpm
Mirrors
List of best mirrors for IP address 216.73.217.74, located at 37.751,-97.822 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