File information
- Filename: coq-8.20.1-1.5.s390x.rpm
- Path: /ports/zsystems/tumbleweed/repo/oss/s390x/coq-8.20.1-1.5.s390x.rpm
- Size: 96MiB (100672825 bytes)
- Last modified: 10-Mar-2025 05:13:00 (Unix timestamp: 1741583580)
- SHA-512 Hash: 109949db17aef1d7ee966c560a89e8731f0f33927f366a89785df8d009580a86ccc66c1dad7439749509006107ddd797d9410198271fd7b95d8f8b1593d96213
- SHA-256 Hash: c3abb7f77cddb82cd513cf69ead4bff0b859b9b178282267036b5d793e1fb4c5
- SHA-1 Hash: dbfbcd3618236d6607ce34f7a838cdec9b2f1022
- MD5 Hash: d04af14a40c74936410ca9f44e421c95
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/ports/zsystems/tumbleweed/repo/oss/s390x/coq-8.20.1-1.5.s390x.rpm
Mirrors
List of best mirrors for IP address 3.21.168.253, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 4
- mirrors.rit.edu (US)
- mirror.math.princeton.edu (US)
- slc-mirror.opensuse.org (US)
- mirrors.ocf.berkeley.edu (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 13
- opensuse.unc.edu.ar (AR)
- ftp.iinet.net.au (AU)
- ftp.netspace.net.au (AU)
- mirror.internode.on.net (AU)
- opensuse.c3sl.ufpr.br (BR)
- mirrors.nju.edu.cn (CN)
- mirrors.nic.cz (CZ)
- ftp.gwdg.de (DE)
- fr2.rpmfind.net (FR)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.leitecastro.com (PT)
- ftp.lysator.liu.se (SE)
- opensuse.ip-connect.info (UA)