File information
- Filename: coq-8.20.0-bp156.70.18.x86_64.rpm
- Path: /repositories/science/15.6/x86_64/coq-8.20.0-bp156.70.18.x86_64.rpm
- Size: 82MiB (85786344 bytes)
- Last modified: 18-Nov-2024 18:56:25 (Unix timestamp: 1731956185)
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://cdn.opensuse.org/repositories/science/15.6/x86_64/coq-8.20.0-bp156.70.18.x86_64.rpm
Mirrors
List of best mirrors for IP address 172.69.6.205, located at 26.2051,-98.2335 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