File information
- Filename: coq-9.2.0-82.39.src.rpm
- Path: /repositories/science/Factory/src/coq-9.2.0-82.39.src.rpm
- Size: 18MiB (18652134 bytes)
- Last modified: 28-Jun-2026 19:33:08 (Unix timestamp: 1782675188)
- SHA-512 Hash: 48f3f9891806d0feb050fd10ac52d77ca02b1b562a74aa974765beb77c47c0d62db0171064f1b4d5f3e502a420ff4e8e144bfe446a99c9bdf7a85713db7eb5c1
- SHA-256 Hash: 4fb131a738c2bc306cb2ce4e9b01df4b3ccb9598f1368272123be75ef53b829f
- SHA-1 Hash: ad8cf322d94ed959cfe78edf5f66acd8c15d8ae8
- MD5 Hash: 4767924edb10245649c19f876258628a
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/Factory/src/coq-9.2.0-82.39.src.rpm
Mirrors
List of best mirrors for IP address 216.73.217.42, 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)