File information
- Filename: coq-ide-8.20.1-1.5.x86_64.rpm
- Path: /slowroll/repo/oss/x86_64/coq-ide-8.20.1-1.5.x86_64.rpm
- Size: 23MiB (23677216 bytes)
- Last modified: 09-Mar-2025 17:19:50 (Unix timestamp: 1741540790)
- SHA-512 Hash: cf9641f07d4d206fa0bfce644aee643f27dfa7886b92f427b7b61b66b05c1c36dbaa712570c8c24495f3153261a4edce80cf6827a174c19def68287fe28239ad
- SHA-256 Hash: 606f3d400887f120a1684fada482e2f376df199ec3854c7a2b288e4d4a35052c
- SHA-1 Hash: 5c6f5b4734a6226105c9dfe32e2669719382fd11
- MD5 Hash: 2011d5452dfafed21c93a0b31436ef0e
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/slowroll/repo/oss/x86_64/coq-ide-8.20.1-1.5.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.41, located at 37.751,-97.822 in (US)
Mirrors which handle this country: 8
- mirror.sfo12.us.leaseweb.net (US)
- mirror.fcix.net (US)
- mirrors.rit.edu (US)
- mirror.us.leaseweb.net (US)
- mirror.umd.edu (US)
- mirror.math.princeton.edu (US)
- slc-mirror.opensuse.org (US)
- mirror.siena.edu (US)
Mirrors in other countries, but same continent: 0
- None