File information
- Filename: coq-ide-debuginfo-8.19.1-bp157.1.129.ppc64le.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/ppc64le/coq-ide-debuginfo-8.19.1-bp157.1.129.ppc64le.rpm
- Size: 2.6MiB (2733052 bytes)
- Last modified: 06-May-2025 17:45:00 (Unix timestamp: 1746553500)
- SHA-512 Hash: 396413f8216d35e36a4c65827773f6dacf77d13b73bb6234853d3896b979c4e7e0d984b64bdcc1f748d162b8dbeedce53e81c3da43652f349b1166c2aedaffc2
- SHA-256 Hash: 21f0c1d6adeb72582e181b5fe61f496f88c4a3b55a26bcef2f21f57e622591ac
- SHA-1 Hash: 7fbf739825c728bb09c14f16bb3019992ed914b4
- MD5 Hash: 2b63e12849c3a8cbc0cfb5c80f6c83cc
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/ppc64le/coq-ide-debuginfo-8.19.1-bp157.1.129.ppc64le.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: 0
- None