File information
- Filename: coq-9.2.0-82.23.src.rpm
- Path: /repositories/science/Factory/src/coq-9.2.0-82.23.src.rpm
- Size: 18MiB (18652134 bytes)
- Last modified: 21-May-2026 18:56:00 (Unix timestamp: 1779389760)
- SHA-512 Hash: 23d5207d0a4551a324cc252ccf21db3343bb7b6ca648292e3251cdb9c04c46e7b7046fcc3c0a4e71787408179bc4f5ab223ee5ec30098045d18283d49b4d8298
- SHA-256 Hash: a04732a3f75b9caebf2dca892e0d260eead3ebdeae28f4b1358c0b2d980eb64d
- SHA-1 Hash: cb3baade46e4000138e429d1916320f9ef58a887
- MD5 Hash: a97df575c869eae3907da043ccddf8ed
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/science/Factory/src/coq-9.2.0-82.23.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.116, 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)