File information
- Filename: coq-8.13.2-bp154.1.1.src.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/step/src/coq-8.13.2-bp154.1.1.src.rpm
- Size: 18MiB (18771269 bytes)
- Last modified: 17-Mar-2022 16:31:46 (Unix timestamp: 1647534706)
- SHA-512 Hash: db84a007342ec90b3ae7f436cf69c9737a6bc732d53464511e77ba85f339977c0d3e84935f43fdfacfd44b4340064bdc44d3ffff1633cf3a93db8cc3ada24bb7
- SHA-256 Hash: 6b5b83437940f840e2c8f3acc28a51efd34294fab909e06cb132e328be7401b3
- SHA-1 Hash: d458955fd572eccca4a93baff6ef0ef4542920f9
- MD5 Hash: a6af2574e557c6e0c510a1715f58ac89
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/step/src/coq-8.13.2-bp154.1.1.src.rpm
Mirrors
List of best mirrors for IP address 3.15.144.162, 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: 1
- ftp.gwdg.de (DE)