File information
- Filename: coq-ide-8.13.2-bp154.1.44.x86_64.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP4/standard/x86_64/coq-ide-8.13.2-bp154.1.44.x86_64.rpm
- Size: 5.4MiB (5625784 bytes)
- Last modified: 12-May-2022 01:45:16 (Unix timestamp: 1652319916)
- SHA-512 Hash: ded41e265ce7abba66e5cb1bc01a58cba704ea048024edcd04becfacf4f0acf57a5f0259cf64a12074e255b5c6dd6ba80e1d491895a51193e0515c9299fa5210
- SHA-256 Hash: 93ffc7c7b79804b6bd6c7ee35c0ec726d0e0a2da4744a04c4dafbe565ee43a69
- SHA-1 Hash: 3568bc61cde2941bf4e73734a6fa27029c5f9e7f
- MD5 Hash: b92310784251d57485b37852c11670af
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP4/standard/x86_64/coq-ide-8.13.2-bp154.1.44.x86_64.rpm
Mirrors
List of best mirrors for IP address 140.248.79.78, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 6
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.linux-ia64.org (RU)
- mirror.tspu.ru (RU)
- ftp.lysator.liu.se (SE)