File information
- Filename: coq-8.13.2-bp154.1.44.src.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard/src/coq-8.13.2-bp154.1.44.src.rpm
- Size: 18MiB (18771283 bytes)
- Last modified: 12-May-2022 02:22:00 (Unix timestamp: 1652322120)
- SHA-512 Hash: 951fd10f34b126b890f994a86895dc1a81366f068d976f9cc57cf61678909f753227be7fb7dc410bf304aed790ef8b75d7d0fd3435f4bf39199b3e90a7d00a33
- SHA-256 Hash: 6ba6ec634abd96d1ce4a273849abb7be9905773a513181f39f01c7ac5c968051
- SHA-1 Hash: 2cf7901be0856bcc850f934299f173ae51ece3f7
- MD5 Hash: 3d5415271ef3bdb447aa39279a2dfb63
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard/src/coq-8.13.2-bp154.1.44.src.rpm
Mirrors
List of best mirrors for IP address 18.222.111.205, 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)