File information
- Filename: coq-9.2.0-82.37.src.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/src/coq-9.2.0-82.37.src.rpm
- Size: 18MiB (18652208 bytes)
- Last modified: 21-May-2026 20:37:00 (Unix timestamp: 1779395820)
- SHA-512 Hash: be0d46c5951e616f2554df703f2e90806069229b96f3ee1f5b5d4866231d88b04d53af9caa77b354397cbe268cddd209561e4bdb87cccbc9b00f23b2a84a2824
- SHA-256 Hash: 25d33d503e2cb300a1f9c70b4a9f610163cd5035658a46dbc6f5538f10a5e19d
- SHA-1 Hash: ae003b6f1e2d5b16212e395412ebab2781b21661
- MD5 Hash: b2ba54bc701e820d73bf2f5e1792f70b
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/src/coq-9.2.0-82.37.src.rpm
Mirrors
List of best mirrors for IP address 140.248.79.109, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 2
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)