File information
- Filename: coq-8.20.1-1.6.ppc64le.rpm
- Path: /ports/ppc/factory/repo/oss/ppc64le/coq-8.20.1-1.6.ppc64le.rpm
- Size: 97MiB (101474530 bytes)
- Last modified: 11-Mar-2025 12:47:00 (Unix timestamp: 1741697220)
- SHA-512 Hash: fffd51cf1a9542e64863a41997929a8855e5dce41b4f30899dfe7c6f573c1bae53b23ab038573f6fde6730438f5a39b9a5a97e627c8211ba6fe38827beb80c3c
- SHA-256 Hash: 20a28eea1dadbedd525781f06d69d8a46e40f45bf90cdb334b621bfbb6e4bc00
- SHA-1 Hash: 464da03ce4ec1d69f7d5b1c0820e26ab75b881fc
- MD5 Hash: 0b52979c9661758f56abd1b9f4f9e2ee
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/ports/ppc/tumbleweed/repo/oss/ppc64le/coq-8.20.1-1.6.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.198, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 4
- slc-mirror.opensuse.org (US)
- slc-mirror.opensuse.org (US)
- mirrors.ocf.berkeley.edu (US)
- mirrors.ocf.berkeley.edu (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)