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

File information

• Filename: coq-8.20.1-72.223.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-8.20.1-72.223.ppc64le.rpm
• Size: 97MiB (101447792 bytes)
• Last modified: 11-Nov-2025 21:15:00 (Unix timestamp: 1762895700)
• SHA-512 Hash: 85c98e6520e010dd092c34b0a4b3d33aa95f611f24351bfa46d82bb64858ad5edcaff6fa360f850743322253156f24935ec301871cd74f10fa6bb2a127bd05b2
• SHA-256 Hash: cd7f3a9b08853ae8d76270738b04540c21e02887906e1fbebd92007972de13be
• SHA-1 Hash: f6fe27385ba1730ac171e78b543e4272e8e415b0
• MD5 Hash: 9c5bb032736626fd1069cc4ac4003db4
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-8.20.1-72.223.ppc64le.rpm