1. ^
2. repositories
3. science
4. openSUSE_Factory_PowerPC
5. ppc64
6. coq-debuginfo-8.17.1-52.32.ppc64.rpm

File information

• Filename: coq-debuginfo-8.17.1-52.32.ppc64.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-debuginfo-8.17.1-52.32.ppc64.rpm
• Size: 12MiB (12469834 bytes)
• Last modified: 10-Sep-2023 23:25:58 (Unix timestamp: 1694388358)
• SHA-512 Hash: 83cfdd0a2ca0cf2be30f05437bb9a0b15a851da0c5405f4cf6c7ab90f6e315d51ea01f99ebf2c91761c75e919cd1c0c66b2753786f9935707b8136d132fa3d06
• SHA-256 Hash: 39d6b506b4bf9ce6aed8314a63ca87a1ee1ca8d493212f89e0cdb18ca093b0a1
• SHA-1 Hash: d348cfb43765db1a7bb9764a57da4e062ef8442f
• MD5 Hash: 8209ea7622a48dfc527ff4e62882c416
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-debuginfo-8.17.1-52.32.ppc64.rpm