File information
- Filename: coq-9.2.0-1.2.src.rpm
- Path: /factory/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/tumbleweed/repo/src-oss/src/coq-9.2.0-1.2.src.rpm
Mirrors
List of best mirrors for IP address 216.73.217.153, located at 34.067,-117.7729 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