File information
- Filename: coq-ide-debuginfo-8.18.0-1.1.x86_64.rpm
- Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-ide-debuginfo-8.18.0-1.1.x86_64.rpm
- Size: 3.4MiB (3540853 bytes)
- Last modified: 07-Nov-2023 00:37:24 (Unix timestamp: 1699317444)
- SHA-512 Hash: cbb03f88888246ccb9d69b3c79ed858a9640416a012ac429839ed37b500bb75f969d7468f547de046456552bb3aad519991d3b87d890bb11bed75cbf0106b341
- SHA-256 Hash: 045022215026368990e0c5055cf95786b7b4b816b38411b7db0dafa335661c83
- SHA-1 Hash: 8f9c8b532e796ad04dc7ad529544454568b8a962
- MD5 Hash: e849b555ddfb183716091254f740f71c
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-ide-debuginfo-8.18.0-1.1.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.215, located at 37.751,-97.822 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