File information
- Filename: coq-9.2.0-2.1.src.rpm
- Path: /slowroll/next/repo/src-oss/src/coq-9.2.0-2.1.src.rpm
- Size: 18MiB (18653120 bytes)
- Last modified: 04-Aug-2026 19:45:48 (Unix timestamp: 1785872748)
- SHA-512 Hash: 67a979d9be0716513e257ce7bc08fc678b00cced7db8e6eeae3c079fe4017286ecf56cc9d968cc896dca8b573316c58bd00e87ec71951296b50303c40ea78bf2
- SHA-256 Hash: 45b404e9cd697b5d19cf929108fdffd71a0f1b3cf0ca945a17d028ab3b619fb4
- SHA-1 Hash: 0ad3a4357515712828e3f1bd7ecc137e5b0a8c5d
- MD5 Hash: c3fddec2d0063e749d92c5d4d4992845
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/slowroll/next-full/base.20260901/repo/src-oss/src/coq-9.2.0-2.1.src.rpm
Mirrors
List of best mirrors for IP address 216.73.217.6, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 6
- ftp.ussg.iu.edu (US)
- mirror.math.princeton.edu (US)
- mirror.clarkson.edu (US)
- slc-mirror.opensuse.org (US)
- mirror.fcix.net (US)
- mirrors.rit.edu (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 15
- linorg.usp.br (BR)
- mirror.uepg.br (BR)
- mirrors.163.com (CN)
- mirror.karneval.cz (CZ)
- ftp.gwdg.de (DE)
- ftp.halifax.rwth-aachen.de (DE)
- opensuse.schlundtech.de (DE)
- fr2.rpmfind.net (FR)
- download.opensuse.id (ID)
- mirror.kakao.com (KR)
- ftp.man.poznan.pl (PL)
- ftp.psnc.pl (PL)
- mirror.freedif.org (SG)
- distrohub.kyiv.ua (UA)
- opensuse.ip-connect.info (UA)