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

File information

• Filename: coq-ide-8.17.1-52.32.ppc64.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-ide-8.17.1-52.32.ppc64.rpm
• Size: 23MiB (24071451 bytes)
• Last modified: 10-Sep-2023 23:25:59 (Unix timestamp: 1694388359)
• SHA-512 Hash: 785349fa0ffd516efd4e8086ada0ab666540638ec6a5715096ae4cf3fedc3beeaff76182e80ba899c1d6fdf25c2216457cfd11f0af42ac6c83585d87ad020cbf
• SHA-256 Hash: a57c8618c7e464ccb039f34c6e0ea698c01fea70fd8b7d9478b92f7aba930771
• SHA-1 Hash: 8217f5109be41f160fabe365e089346b6a8a42c3
• MD5 Hash: d9a952019844f537eaf5e5a7a1fb4efa
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-ide-8.17.1-52.32.ppc64.rpm