File information
- Filename: coq-doc-8.20.1-1.5.noarch.rpm
- Path: /ports/aarch64/tumbleweed/repo/oss/noarch/coq-doc-8.20.1-1.5.noarch.rpm
- Size: 5.8MiB (6047466 bytes)
- Last modified: 12-Mar-2025 12:51:57 (Unix timestamp: 1741783917)
- SHA-512 Hash: b7f5051a402daf140ca6dd5d813ad2e34dfccb4a20e3eb30fa3a1d9bbf7dd245bde45590cfc9c744ac3413f7ecdef18d7dbb42c2eaa5a4b74bc8aebdeff7c731
- SHA-256 Hash: c03fbadaff41a9a18a68307dce071176241666744818e87f5eed5ce37e6b5e3e
- SHA-1 Hash: 8c90e443249dd5be48e2833fd267be7caa17f30a
- MD5 Hash: 0189d08f4c5a3d169179e43d2f529abe
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/ports/aarch64/tumbleweed/repo/oss/noarch/coq-doc-8.20.1-1.5.noarch.rpm
Mirrors
List of best mirrors for IP address 3.135.246.28, located at 37.751,-97.822 in (US)
Mirrors which handle this country: 4
- slc-mirror.opensuse.org (US)
- mirrors.rit.edu (US)
- mirror.math.princeton.edu (US)
- mirrors.ocf.berkeley.edu (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 16
- 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.bfsu.edu.cn (CN)
- mirrors.nju.edu.cn (CN)
- mirrors.tuna.tsinghua.edu.cn (CN)
- mirrors.nic.cz (CZ)
- ftp.gwdg.de (DE)
- fr2.rpmfind.net (FR)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.opensuse.mu (MU)
- mirror.leitecastro.com (PT)
- ftp.lysator.liu.se (SE)
- opensuse.ip-connect.info (UA)