File information
- Filename: coq-devel-8.20.1-1.5.armv6hl.rpm
- Path: /ports/aarch64/tumbleweed/repo/oss/armv6hl/coq-devel-8.20.1-1.5.armv6hl.rpm
- Size: 78MiB (82233026 bytes)
- Last modified: 12-Mar-2025 12:39:09 (Unix timestamp: 1741783149)
- SHA-512 Hash: f081fe322ae94a078fbf4706ef93e51d2173e9a3fdd3cbfe7e7c18d98083d18693b54958a5a359dd8031ca0e150bd2cc692d87833dfa7f9f8c08ad96c3960086
- SHA-256 Hash: aaeb6053b5506ca9cda979fdca0a8d008cd82007d0eba47401db2bfccebe7182
- SHA-1 Hash: daf73829fa72f659e20bdbc6e49222bbd2c6e9a5
- MD5 Hash: 90fc90d290198d2200065f9c3b76323d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/ports/aarch64/tumbleweed/repo/oss/armv6hl/coq-devel-8.20.1-1.5.armv6hl.rpm
Mirrors
List of best mirrors for IP address 216.73.216.42, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 3
- mirrors.rit.edu (US)
- mirror.math.princeton.edu (US)
- slc-mirror.opensuse.org (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 19
- ftp.iinet.net.au (AU)
- ftp.netspace.net.au (AU)
- mirror.internode.on.net (AU)
- opensuse.c3sl.ufpr.br (BR)
- mirror.nyist.edu.cn (CN)
- mirrors.163.com (CN)
- mirrors.bfsu.edu.cn (CN)
- mirrors.cqu.edu.cn (CN)
- mirrors.nju.edu.cn (CN)
- mirrors.tuna.tsinghua.edu.cn (CN)
- opensuse.nic.cz (CZ)
- ftp.gwdg.de (DE)
- fr2.rpmfind.net (FR)
- opensuse.mirror.liquidtelecom.com (KE)
- opensuse.mirror.liteserver.nl (NL)
- ftp.icm.edu.pl (PL)
- mirror.leitecastro.com (PT)
- opensuse.ip-connect.info (UA)
- espejito.fder.edu.uy (UY)