File information
- Filename: coq-9.3.0-88.10.src.rpm
- Path: /repositories/science/openSUSE_Slowroll/src/coq-9.3.0-88.10.src.rpm
- Size: 19MiB (19452886 bytes)
- Last modified: 24-Oct-2026 08:02:00 (Unix timestamp: 1792828920)
- SHA-512 Hash: d20b11f24739814522ea544f820c5f3470a61c1ae39a2048df52d19a5abcf02483ba7e6e46ec74aeed1da3defd2b6d18cf38e9ff672bacdb50c4f32d51d5a641
- SHA-256 Hash: 32baec2c72de2029239fba9343b9fce5a2781eeac56d058a58368cd6ea452b32
- SHA-1 Hash: ad18b53a10bccc3082c1417aa99c297b7be45253
- MD5 Hash: 599e60afc815477535214085a83b5d26
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/src/coq-9.3.0-88.10.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.134, located at 39.9587,-82.9987 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: 2
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)