1. ^
2. repositories
3. science
4. openSUSE_Factory_PowerPC
5. ppc64le
6. coq-debuginfo-8.20.1-72.223.ppc64le.rpm

File information

• Filename: coq-debuginfo-8.20.1-72.223.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-debuginfo-8.20.1-72.223.ppc64le.rpm
• Size: 11MiB (12055952 bytes)
• Last modified: 11-Nov-2025 21:15:00 (Unix timestamp: 1762895700)
• SHA-512 Hash: 8f5c068cd423189a2ec11fb3bcc3898e62da9324f092b847418e7e08fea26f9aa80d25f5b54807b639f157f9e1550197fb07d062127a85d99d83cfe725aa0355
• SHA-256 Hash: 1c53684febaf585b032ee8cd087bb59477c9cffa14e75c702c7cad587f4dd2bf
• SHA-1 Hash: 2c558028995d7a80e16fa7cec1733b1a8aeec540
• MD5 Hash: 5fc47c7831e8307589226a63c1ccba2e
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-debuginfo-8.20.1-72.223.ppc64le.rpm