1. ^
2. repositories
3. science
4. openSUSE_Leap_16.0
5. x86_64
6. coq-devel-8.20.1-lp160.72.24.x86_64.rpm

File information

• Filename: coq-devel-8.20.1-lp160.72.24.x86_64.rpm
• Path: /repositories/science/openSUSE_Leap_16.0/x86_64/coq-devel-8.20.1-lp160.72.24.x86_64.rpm
• Size: 78MiB (81293698 bytes)
• Last modified: 22-Apr-2025 09:03:06 (Unix timestamp: 1745312586)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent.opensuse.org/repositories/science/openSUSE_Leap_16.0/x86_64/coq-devel-8.20.1-lp160.72.24.x86_64.rpm