1. ^
2. repositories
3. science
4. openSUSE_Factory_PowerPC
5. src
6. coq-8.20.1-72.27.src.rpm

File information

• Filename: coq-8.20.1-72.27.src.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/src/coq-8.20.1-72.27.src.rpm
• Size: 17MiB (17921709 bytes)
• Last modified: 25-Feb-2025 17:06:26 (Unix timestamp: 1740503186)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://mirror.firstyear.id.au/repositories/science/openSUSE_Factory_PowerPC/src/coq-8.20.1-72.27.src.rpm