File information
- Filename: coq-devel-8.16.1-1.1.s390x.rpm
- Path: /repositories/openSUSE:/Factory:/zSystems/standard/s390x/coq-devel-8.16.1-1.1.s390x.rpm
- Size: 78MiB (82185062 bytes)
- Last modified: 27-Nov-2022 12:56:44 (Unix timestamp: 1669553804)
- SHA-256 Hash: 79c2a025abfd1e8f08e411449f8960b9fc535a3aad82d554fde673479a9df28e
- SHA-1 Hash: bbb3edae0fa5512c757a2c8f3ca718ad7400bb37
- MD5 Hash: 36303dffeb57dfda61556c720a62951e
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/Factory:/zSystems/standard/s390x/coq-devel-8.16.1-1.1.s390x.rpm
Mirrors
List of best mirrors for IP address 216.73.216.58, 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