File information
- Filename: coq-debugsource-9.2.0-1.3.ppc64le.rpm
- Path: /ports/ppc/debug/factory/repo/oss/ppc64le/coq-debugsource-9.2.0-1.3.ppc64le.rpm
- Size: 36KiB (36702 bytes)
- Last modified: 01-May-2026 16:09:00 (Unix timestamp: 1777651740)
- SHA-512 Hash: fc54b7f6b4db9f1945f748adf7621dbbc82d744ad5692f23da1e2cedaff137680ee539e492cd1b3a42c930a8de04d3e1fc2164cb6c5043cc8b9e2991e0ccb328
- SHA-256 Hash: 58c5b9ae61a20dde87849a1d07dd504922733df2145aba275b004d349c731228
- SHA-1 Hash: 6a3c026313f39009e297c0b273004e3275fb37ac
- MD5 Hash: df683a4474360ea04a3afc47bc0ef6d7
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/ports/ppc/debug/tumbleweed/repo/oss/ppc64le/coq-debugsource-9.2.0-1.3.ppc64le.rpm
Mirrors
List of best mirrors for IP address 140.248.79.110, located at 39.9587,-82.9987 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: 3
- mirrors.nju.edu.cn (CN)
- ftp.gwdg.de (DE)
- ftp.gwdg.de (DE)