File information
- Filename: coq-8.13.2-bp155.2.13.src.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP5/standard/src/coq-8.13.2-bp155.2.13.src.rpm
- Size: 18MiB (18771777 bytes)
- Last modified: 22-May-2023 10:18:09 (Unix timestamp: 1684750689)
- SHA-512 Hash: d4c24986e8e5af836e441bcb3fce74a3bc87b150d547221a620d267806d194a9753ff416c06d7152b838d7ab05cd1dfc90536a52f29605d739656b154e253359
- SHA-256 Hash: a7d8b3cee30479aa4bd67a94617adf1ca0de5090017c65f0a7727be496997374
- SHA-1 Hash: dc509eae44229b5319ae076cf344bebd37c1cc72
- MD5 Hash: 362ae171eac4b7f67776fe090b5afc66
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP5/standard/src/coq-8.13.2-bp155.2.13.src.rpm
Mirrors
List of best mirrors for IP address 3.133.140.125, 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)