File information
- Filename: coq-ide-8.18.0-1.1.x86_64.rpm
- Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-ide-8.18.0-1.1.x86_64.rpm
- Size: 23MiB (23852655 bytes)
- Last modified: 07-Nov-2023 00:37:24 (Unix timestamp: 1699317444)
- SHA-512 Hash: 636148912df2236a5ffe06285975b8fa2d5c58ba539cd01fc58b2063a9a94dcb480415d076b2219f73cb904adc2641ccd6f3cb3978731cbf3f2bbcf845e2a843
- SHA-256 Hash: 4ce3678f4e17c366fa141028ed2836b91655e0e8d7da3740a4119176f8061dc6
- SHA-1 Hash: 80d190f0518186f2505ca9c443e93e574f751ede
- MD5 Hash: b25ee392f93176db6d200b30f7b1f7e2
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/x86_64/coq-ide-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