File information
- Filename: coq-9.3.0-88.13.src.rpm
- Path: /repositories/science/openSUSE_Slowroll/src/coq-9.3.0-88.13.src.rpm
- Size: 19MiB (19452883 bytes)
- Last modified: 30-Oct-2026 19:26:00 (Unix timestamp: 1793388360)
- SHA-512 Hash: 865702eed5c54c3ab053ea8514feb88ad580fd2e4d1c641be96e4dbd27e48e13387076f56222e0aacba2706d892ca99723dc4887d30a6fefe51056380af7e914
- SHA-256 Hash: 9872326f4e116a8d7a7e06c9a2beb1ce02f6aaa03b31f4cc26980b86bd3a8340
- SHA-1 Hash: d260155ad860e22849517c8c0f6ee7f0af7ae5ca
- MD5 Hash: 7cfd1b1ad1b4e3bbcdd4c39079832c56
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Slowroll/src/coq-9.3.0-88.13.src.rpm
Mirrors
List of best mirrors for IP address 216.73.217.53, 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)