File information
- Filename: coq-9.2.0-87.5.src.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/src/coq-9.2.0-87.5.src.rpm
- Size: 18MiB (18653116 bytes)
- Last modified: 15-Aug-2026 20:42:00 (Unix timestamp: 1786826520)
- SHA-512 Hash: 099e32bfb0cff16e8014134c5d3321ccd5934e5010ce5d517f9730aba93d6d1c2e02505376286f1927a10cf05a9af789c05354ea04299335c64f861458339460
- SHA-256 Hash: c506a1de7441d14778e1f5c83b9b3b78f105c4723c4a9572dc6cd27403b73152
- SHA-1 Hash: 55cbce3fce69de2dcd0d918482a665597a5c8d59
- MD5 Hash: 3e25571d12e5889a76f2b6db8b95dae9
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/coq-9.2.0-87.5.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.128, 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: 0
- None