File information
- Filename: coq-8.19.1-bp157.1.129.src.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard/src/coq-8.19.1-bp157.1.129.src.rpm
- Size: 17MiB (17478849 bytes)
- Last modified: 06-May-2025 17:31:43 (Unix timestamp: 1746552703)
- SHA-512 Hash: 8aa6dbddb602a8fb045b7300cdde71f0b397078dbefed3b6031fcb465d63b883d8d734fd663d4e7672d3869fb225934068b19bdbde8612195c50bfe07a8057fa
- SHA-256 Hash: c16bbad1f02ee32e9c04dc83aa30af852a223dec336dac6066638b2110713eeb
- SHA-1 Hash: ad122523f1eeca8ece5b5c1eb7b1634f547abf6f
- MD5 Hash: cc2630d6499b39c7b05f66d96b697dc8
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard/src/coq-8.19.1-bp157.1.129.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.143, 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)