File information
- Filename: coq-8.18.0-1.1.x86_64.rpm
- Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-8.18.0-1.1.x86_64.rpm
- Size: 102MiB (106909405 bytes)
- Last modified: 07-Nov-2023 00:37:22 (Unix timestamp: 1699317442)
- SHA-512 Hash: e3ec06d8e0bd5813400d76413c0511866b32c8c7a62b68934c152e05c6b8694fc67e9f201d4c24714f85fabc8c89fd3e1a5232ac49d1cab10f003d95843d576d
- SHA-256 Hash: 5a4a5cce9bc130f04a604739f8d1c1e23f298254da15ca5e1d070be8b946df6e
- SHA-1 Hash: da18cc1c03115df0d568067e4395828a20ba96d9
- MD5 Hash: 510afc26a31939e51e3ef265d4e5a769
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-8.18.0-1.1.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.217.50, 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