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-512 Hash: f5055d403b5869221e682df981c5937d61f0e98b406c906f2cfefcd6c6b5a7866e8d9ff7db1c451574bd2de856611a2347134bf04d3b9dc3d4331d607b88a2b8
- SHA-256 Hash: 2d8d5ae44058f700a1343fd641c5476bb2012c52408cc301a0279e9b4b452674
- SHA-1 Hash: 83d263d40162237b74c3c9834bd09ba71360eac5
- MD5 Hash: de03fb2b3eba42423eb67092d0ac48b3
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.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 3.19.218.250, 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
Loading...