File information
- Filename: coq-8.19.1-bp156.1.14.src.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/standard/src/coq-8.19.1-bp156.1.14.src.rpm
- Size: 17MiB (17479954 bytes)
- Last modified: 21-May-2024 16:41:00 (Unix timestamp: 1716309660)
- SHA-512 Hash: a30ee172879c1ca37af2ebfa7d8b2d7e11c37dfc7f3cab34a32cfd557b88e10e30283ac3c1f09ee0cb5fb8c0e2bf904d3f302edf336cc9ae86533634fb1954cc
- SHA-256 Hash: 2f2be915a4e0685e99164662a92f1db64ce40ec8300dc4ad9ed18a436327087c
- SHA-1 Hash: 4668744c6342b25c4f971f8adc8b03cbc5d50f25
- MD5 Hash: e669e6235b1eba01fb6966d771981f0a
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/standard/src/coq-8.19.1-bp156.1.14.src.rpm
Mirrors
List of best mirrors for IP address 18.219.179.32, 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)