File information
- Filename: coq-ide-8.19.1-1.2.armv6hl.rpm
- Path: /ports/armv6hl/factory/repo/oss/armv6hl/coq-ide-8.19.1-1.2.armv6hl.rpm
- Size: 23MiB (23778175 bytes)
- Last modified: 18-Mar-2024 04:28:00 (Unix timestamp: 1710736080)
- SHA-512 Hash: 8eeaa14f9015aea763d31afbeff94a7eeb4ecff5d446ab9b78f8c932c9eda567919e41c898120e3a7c01b1a4e6194f169cbb513c307ed7b16530e2d21d5765e8
- SHA-256 Hash: 893b2854c41a453f3e6bad7f9603bed83c095916cdbbc02cfd23b243fa79afd4
- SHA-1 Hash: a658e8abd9117af746412fbaefefa6b0e7a1208e
- MD5 Hash: de7380629c6eafd9c4bee248a8c8ff12
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/ports/armv6hl/tumbleweed/repo/oss/armv6hl/coq-ide-8.19.1-1.2.armv6hl.rpm
Mirrors
List of best mirrors for IP address 18.222.37.169, 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: 11
- opensuse.c3sl.ufpr.br (BR)
- opensuse.c3sl.ufpr.br (BR)
- 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)