File information
- Filename: coq-8.16.1-1.1.src.rpm
- Path: /repositories/openSUSE:/Factory:/zSystems/standard/src/coq-8.16.1-1.1.src.rpm
- Size: 19MiB (19793521 bytes)
- Last modified: 27-Nov-2022 12:56:41 (Unix timestamp: 1669553801)
- SHA-256 Hash: 24e49d62b4a9f8c42cb46436922d7239481814eacd3b98e443658b4f535026de
- SHA-1 Hash: c56c65df7eae77a3a8478ede057591876d4530af
- MD5 Hash: 959d6583506b73cc5cabf590b8c3bde9
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/Factory:/zSystems/standard/src/coq-8.16.1-1.1.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.96, located at 37.751,-97.822 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