File information
- Filename: coq-doc-8.19.1-1.3.noarch.rpm
- Path: /ports/ppc/factory/repo/oss/noarch/coq-doc-8.19.1-1.3.noarch.rpm
- Size: 5.8MiB (6031898 bytes)
- Last modified: 30-Mar-2024 10:45:00 (Unix timestamp: 1711795500)
- SHA-512 Hash: ffecc40f28a66cbdc6f40b2356eb0e983fec476b11c5fa365a0a4413d4e27deedace5dd782b14ce97ce7705986fccfd22e906d0cd979d0e222b374abc72050d2
- SHA-256 Hash: c119874acf13178c706ba4477486a67e6ba6245703ae9cfd7535cf53a29b12aa
- SHA-1 Hash: b1d00cfb51948eb4166e6572440da07c5a0552a7
- MD5 Hash: 1c810f26aa116de56ec76fac7e6ed039
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/ports/ppc/tumbleweed/repo/oss/noarch/coq-doc-8.19.1-1.3.noarch.rpm
Mirrors
List of best mirrors for IP address 3.147.46.58, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 4
- provo-mirror.opensuse.org (US)
- provo-mirror.opensuse.org (US)
- mirror.fcix.net (US)
- mirror.fcix.net (US)
Mirrors in other countries, but same continent: 0
- None
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)