File information
- Filename: coq-8.20.1-bp156.72.12.src.rpm
- Path: /repositories/science/15.6/src/coq-8.20.1-bp156.72.12.src.rpm
- Size: 17MiB (17879767 bytes)
- Last modified: 28-Feb-2025 16:44:00 (Unix timestamp: 1740761040)
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/15.6/src/coq-8.20.1-bp156.72.12.src.rpm
Mirrors
List of best mirrors for IP address 140.248.79.101, located at 39.9625,-83.0061 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: 1
- ftp.gwdg.de (DE)