File information
- Filename: coq-debuginfo-8.18.0-1.1.ppc64le.rpm
- Path: /repositories/home:/HuangZeshun:/PowerPC/standard/ppc64le/coq-debuginfo-8.18.0-1.1.ppc64le.rpm
- Size: 12MiB (12603533 bytes)
- Last modified: 09-Aug-2025 06:47:47 (Unix timestamp: 1754722067)
- SHA-512 Hash: 66c0a1fd3b0ef8f3de022394c9f0fb4ede39636c009428c7cf50950f78d8f0b7661866dae7d7d9f8cac336364d216d6061d33e9d67874f97b06c1a5b06f23751
- SHA-256 Hash: d5b8718911333379977c9f88595d88ecd37e8a5fbad6b74072a672f76234131f
- SHA-1 Hash: c3e75db35d0bae7f96c3e7ef7d9bb2d31ab95d91
- MD5 Hash: e323f3d3737885f26f2d2a4706a2eca0
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/home:/HuangZeshun:/PowerPC/standard/ppc64le/coq-debuginfo-8.18.0-1.1.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.27, 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