File information
- Filename: coq-debugsource-8.18.0-1.1.ppc64le.rpm
- Path: /repositories/home:/HuangZeshun:/PowerPC/standard/ppc64le/coq-debugsource-8.18.0-1.1.ppc64le.rpm
- Size: 1.9MiB (2012077 bytes)
- Last modified: 09-Aug-2025 06:47:47 (Unix timestamp: 1754722067)
- SHA-512 Hash: 4fc6a338012f66b3e21ff4659506764209d2d6f9d99465f9bc4858508f110af0cadd0ff182eaba55e4089935faa0670c0042f9c5c1cf2e781e28dd614f5088bc
- SHA-256 Hash: ad4b899ae302cc8d9c72888a00269500afa337b2908924ce93f01e244e31df76
- SHA-1 Hash: 156538ff004cdaf28db946d939d2227efa7e4d38
- MD5 Hash: 7f81452470b8caafe4e62616075afea4
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/home:/HuangZeshun:/PowerPC/standard/ppc64le/coq-debugsource-8.18.0-1.1.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.133, 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