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

File information

• Filename: coq-8.20.1-lp160.72.24.x86_64.rpm
• Path: /repositories/science/openSUSE_Leap_16.0/x86_64/coq-8.20.1-lp160.72.24.x86_64.rpm
• Size: 95MiB (99707487 bytes)
• Last modified: 22-Apr-2025 09:03:00 (Unix timestamp: 1745312580)
• SHA-512 Hash: 0ddb30951781ec1ae6411769386f2b2f9f4efedf64d3bab4cf3b942d8d455c8ebddd42f18f8bf9ea88fce2f9329f03f2ebb3ee75b581099f9d11c771dacf7417
• SHA-256 Hash: c5504dbd55d834f2a5e28de8959308511443a3a9aeb8ed52bed8b0f4a8e5a79d
• SHA-1 Hash: 15a63f235a47710b348e469044e4471e9f64c041
• MD5 Hash: 6ecd2ecede905565b741d7d92a2e427e
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/x86_64/coq-8.20.1-lp160.72.24.x86_64.rpm