File information
- Filename: coq-8.19.1-bp156.1.1.src.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/step/src/coq-8.19.1-bp156.1.1.src.rpm
- Size: 17MiB (17479943 bytes)
- Last modified: 11-Mar-2024 13:14:04 (Unix timestamp: 1710162844)
- SHA-512 Hash: 4077716de06d6c76256dafba5f89ba83344ce99723460c8df5bf945973ed5c030b5f5f75ea2c7c9223c0877606d6f341b71e62074e72bd17e857b827005573df
- SHA-256 Hash: b9652523c65d20952d0c47b3e850c1cb0b1ebe6176a3d003f3df88184ef51516
- SHA-1 Hash: 83a583547bcb5d5e785e8b7dbf5b6ffe148aa015
- MD5 Hash: 475a6058326db2d0fa620999f7a3b612
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/step/src/coq-8.19.1-bp156.1.1.src.rpm
Mirrors
List of best mirrors for IP address 18.119.132.107, 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)