File information
- Filename: coq-ide-debuginfo-8.19.1-bp157.1.129.aarch64.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/aarch64/coq-ide-debuginfo-8.19.1-bp157.1.129.aarch64.rpm
- Size: 3MiB (3099136 bytes)
- Last modified: 06-May-2025 18:38:00 (Unix timestamp: 1746556680)
- SHA-512 Hash: dc7c9470ddda46e28de4aaaead9c5b4257045ddbbe8e30f9aeff189c0676831d805f5363981783d5f4d7b5eaa13c8b27a0af7dde0f399ec0c1a9e5bc22c53ca5
- SHA-256 Hash: 94833d9e8203644121c3995b6b998eaa8df994fc78cb0b37af13592a8ecc134d
- SHA-1 Hash: 7d2196a56f16af30a6e194955deafbcb06b3d6f4
- MD5 Hash: 963a9d1715a2579f4616fd0b1a04ce37
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard_debug/aarch64/coq-ide-debuginfo-8.19.1-bp157.1.129.aarch64.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