File information
- Filename: coq-ide-debuginfo-8.13.2-bp154.1.44.x86_64.rpm
- Path: /debug/distribution/openSUSE-stable/repo/oss/x86_64/coq-ide-debuginfo-8.13.2-bp154.1.44.x86_64.rpm
- Size: 1.8MiB (1922464 bytes)
- Last modified: 12-May-2022 01:45:00 (Unix timestamp: 1652319900)
- SHA-512 Hash: 6c7b33ae2d8c4dfced3332af444dbbc04ef8cf2e33f724f23bba501bf081aa6e98655b96d3d3e2a6c93eb522c8b3773044615bc9e9111ceb53f625f65035aa41
- SHA-256 Hash: 4eed59502801ebb6925ab387f5779cde7ecefe72a618278c14c0983805fe5615
- SHA-1 Hash: 8e5d6ae43793f33a362fc676494fa0b6f72fd696
- MD5 Hash: b89748aaf14285f48de39a31daa8266f
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://downloadcontent2.opensuse.org/debug/distribution/leap/15.4/repo/oss/x86_64/coq-ide-debuginfo-8.13.2-bp154.1.44.x86_64.rpm
Mirrors
List of best mirrors for IP address 18.221.156.50, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 4
- provo-mirror.opensuse.org (US)
- provo-mirror.opensuse.org (US)
- mirror.fcix.net (US)
- mirror.fcix.net (US)
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 12
- ftp.gwdg.de (DE)
- ftp.gwdg.de (DE)
- fr2.rpmfind.net (FR)
- fr2.rpmfind.net (FR)
- opensuse.mirror.liquidtelecom.com (KE)
- opensuse.mirror.liquidtelecom.com (KE)
- ftp.icm.edu.pl (PL)
- ftp.icm.edu.pl (PL)
- mirror.linux-ia64.org (RU)
- mirror.linux-ia64.org (RU)
- ftp.lysator.liu.se (SE)
- ftp.lysator.liu.se (SE)