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

File information

• Filename: coq-8.20.1-72.68.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-8.20.1-72.68.ppc64le.rpm
• Size: 97MiB (101456456 bytes)
• Last modified: 14-Apr-2025 17:18:40 (Unix timestamp: 1744651120)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-8.20.1-72.68.ppc64le.rpm