File information
- Filename: coq-8.20.0-70.65.src.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/src/coq-8.20.0-70.65.src.rpm
- Size: 17MiB (17914745 bytes)
- Last modified: 21-Nov-2024 01:19:00 (Unix timestamp: 1732151940)
- SHA-512 Hash: 6eacb91ca3bca76ffe65f8ec925d99bdf5702e61405f6319e1e9eaf7ec6f4ddfc9e57e84c09018156c06653e0cebe5f36bfb96cb753ce0c431db4e8fb6400fff
- SHA-256 Hash: cb2bdd29d55c54a255b7ac993133c63d772cbe02d002bbd570131bd257d273ec
- SHA-1 Hash: 63bc5a615dcd1311ea6aa7250cdb83acfa760fc7
- MD5 Hash: a52168d04120f476aa5c6ce030702759
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/coq-8.20.0-70.65.src.rpm
Mirrors
List of best mirrors for IP address 13.59.87.145, located at 39.9625,-83.0061 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: 1
- ftp.gwdg.de (DE)