File information
- Filename: coq-9.2.0-87.7.src.rpm
- Path: /repositories/science/openSUSE_Slowroll/src/coq-9.2.0-87.7.src.rpm
- Size: 18MiB (18653121 bytes)
- Last modified: 17-Aug-2026 03:45:00 (Unix timestamp: 1786938300)
- SHA-512 Hash: 00a8b0f2b6deae7c1088121758313897765cba4c72b838f37a85e1caa06cbb83a61b287c453b53bf92721821c2131d40e3c027040b82075dfba762829bfba004
- SHA-256 Hash: 1b45ed46ea6daa42fd9923239e3dd0a271bcfb54091e4429ef146ebc5ffa621f
- SHA-1 Hash: 08c593acdb9397ac159931a9134f79d809c7bb15
- MD5 Hash: cfa766d1abd9804c4d79b200a59406a2
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Slowroll/src/coq-9.2.0-87.7.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.23, 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)