File information
- Filename: coq-ide-debuginfo-8.18.0-1.1.ppc64le.rpm
- Path: /repositories/home:/HuangZeshun:/PowerPC/standard/ppc64le/coq-ide-debuginfo-8.18.0-1.1.ppc64le.rpm
- Size: 2.9MiB (3027496 bytes)
- Last modified: 09-Aug-2025 06:47:50 (Unix timestamp: 1754722070)
- SHA-512 Hash: e72361e90a38b4d2b52e82b025f77178d0695e8c96f113eb3fa58e28a2ca3e5d82f30f776a59223f45d9f6bb42aec61d5a7d95375db1f7b91e53080fe28545e7
- SHA-256 Hash: 369c966ed2596fccb8cd559d5b1fb43299b23aff5787a814e5db05a3cd7b37d7
- SHA-1 Hash: f8388b34c8c4680f2321ba403e3c06b1dc5b4e7c
- MD5 Hash: a1a1971b83916024fa8f1cc6e989357d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/home:/HuangZeshun:/PowerPC/standard/ppc64le/coq-ide-debuginfo-8.18.0-1.1.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.62, located at 39.9625,-83.0061 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