File information
- Filename: coq-devel-8.20.1-1.3.riscv64.rpm
- Path: /repositories/openSUSE:/Factory:/RISCV/standard/riscv64/coq-devel-8.20.1-1.3.riscv64.rpm
- Size: 84MiB (87592097 bytes)
- Last modified: 04-Mar-2025 22:44:00 (Unix timestamp: 1741128240)
- SHA-512 Hash: a18fce750d099cac186a8ab17c2d05d3a0b1f6a605510711280f45aee1be052c408a42af71400485f5be6a963617e3f11757ce83a8c686952222f2022c7006e1
- SHA-256 Hash: b0f1001f7b9bc01c5098398d78048466f5722424217f6bb5f6829de7aac72c2e
- SHA-1 Hash: dd28baa25182800cab51c993e49dbec83dbd60cb
- MD5 Hash: 1398276a669f490569146aa9ca1cc525
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Factory:/RISCV/standard/riscv64/coq-devel-8.20.1-1.3.riscv64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.21, 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: 5
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.tspu.ru (RU)
- ftp.lysator.liu.se (SE)