File information
- Filename: coq-ide-debuginfo-8.13.2-bp154.1.44.ppc64le.rpm
- Path: /debug/distribution/openSUSE-stable/repo/oss/ppc64le/coq-ide-debuginfo-8.13.2-bp154.1.44.ppc64le.rpm
- Size: 1.7MiB (1767996 bytes)
- Last modified: 12-May-2022 02:22:59 (Unix timestamp: 1652322179)
- SHA-512 Hash: 3f179e233cbd0d7972221bdbe346a99deda860643e06b9b4b9acdf8bdbab30c7a9c45de5c5c88afd31e359d7da1b716a39b48f1f807669ccec1a8ff652b6545f
- SHA-256 Hash: 348abb16f91f49f9cbf8fa2a19da8cec804baf874b1c112d874cc4411ba45609
- SHA-1 Hash: 7b255af583267a0d359c17d2baafcbdacbfc3547
- MD5 Hash: ad788b00cb6a780c9ba8e2bfef505aea
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://downloadcontent2.opensuse.org/debug/distribution/leap/15.4/repo/oss/ppc64le/coq-ide-debuginfo-8.13.2-bp154.1.44.ppc64le.rpm
Mirrors
List of best mirrors for IP address 18.119.104.5, 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)