File information
- Filename: coq-9.2.0-1.2.src.rpm
- Path: /slowroll/repo/src-oss/src/coq-9.2.0-1.2.src.rpm
- Size: 18MiB (18652117 bytes)
- Last modified: 03-Apr-2026 06:39:02 (Unix timestamp: 1775198342)
- SHA-512 Hash: 4e5a1893aefde0c82379c066143a57c5bcf185149ef97a5a3157bf6b6431b3e6d2da27f7f145f7d776b5d54d82b75a6ef25bc6913b40d1741cf199e24ff4913a
- SHA-256 Hash: a7290b626dcedb2fa4329cdb0622ebd38c061975d51988b90c31b7b6896689ce
- SHA-1 Hash: 4acaea0167c5258f0db93fc5356416ca36759834
- MD5 Hash: 2071f20fa88e2dce54a955737c620070
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/slowroll/repo/src-oss/src/coq-9.2.0-1.2.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.27, located at 37.751,-97.822 in (US)
Mirrors which handle this country: 7
- mirror.sfo12.us.leaseweb.net (US)
- mirrors.rit.edu (US)
- mirror.us.leaseweb.net (US)
- mirror.umd.edu (US)
- mirror.math.princeton.edu (US)
- slc-mirror.opensuse.org (US)
- mirror.siena.edu (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 0
- None