File information
- Filename: coq-doc-8.20.0-1.1.noarch.rpm
- Path: /ports/armv6hl/factory/repo/oss/noarch/coq-doc-8.20.0-1.1.noarch.rpm
- Size: 5.8MiB (6049528 bytes)
- Last modified: 09-Sep-2024 13:26:55 (Unix timestamp: 1725888415)
- SHA-512 Hash: 4539fb81053f1a3e224ce50fd6d631e7978309c07c43be32fc9d44e75469366a709c9ac653e1187ba71cfc0b4b7a308233e773b51d08f9aba354771c41e60de8
- SHA-256 Hash: 1eba3eeb32b9c742f95fb5e924881f7e11e0142677a50138909e6f04f3aed0b3
- SHA-1 Hash: e995546b075f3b6b1f5ecd0e8b39d4e3e594451e
- MD5 Hash: bf103b63d4f313eecab5536918150644
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/ports/armv6hl/tumbleweed/repo/oss/noarch/coq-doc-8.20.0-1.1.noarch.rpm
Mirrors
List of best mirrors for IP address 172.69.214.135, located at 43.6547,-79.3623 in (CA)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 4
- mirror.fcix.net (US)
- mirror.fcix.net (US)
- provo-mirror.opensuse.org (US)
- provo-mirror.opensuse.org (US)
Mirrors in other parts of the world: 12
- opensuse.c3sl.ufpr.br (BR)
- opensuse.c3sl.ufpr.br (BR)
- mirrors.nju.edu.cn (CN)
- mirrors.nju.edu.cn (CN)
- ftp.gwdg.de (DE)
- ftp.gwdg.de (DE)
- fr2.rpmfind.net (FR)
- fr2.rpmfind.net (FR)
- opensuse.mirror.liquidtelecom.com (KE)
- opensuse.mirror.liquidtelecom.com (KE)
- ftp.lysator.liu.se (SE)
- ftp.lysator.liu.se (SE)