1. download
2. repositories
3. science
4. openSUSE_Leap_16.0
5. x86_64
6. coq-ide-debuginfo-8.20.1-lp160.72.34.x86_64.rpm

File information

• Filename: coq-ide-debuginfo-8.20.1-lp160.72.34.x86_64.rpm
• Path: /repositories/science/openSUSE_Leap_16.0/x86_64/coq-ide-debuginfo-8.20.1-lp160.72.34.x86_64.rpm
• Size: 3MiB (3142473 bytes)
• Last modified: 18-Jun-2025 11:25:00 (Unix timestamp: 1750245900)
• SHA-512 Hash: d69e317fa2cae615eb468724b872ca4d4489cd0cc744b01fecc4a5335c0a8b0ed4ef14b91ff3fc169686695752f1ab6319a9e7baf4c6c252e61f02c4636d466f
• SHA-256 Hash: c595869ad61ffc06d905791776c23e0d394a38e0c7c1457dbb8b4d8ef27742cf
• SHA-1 Hash: daf5456f3e861218a44ca133909e2bc5533a8e35
• MD5 Hash: 17a24e160b7147f40c2581e1e4007229
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/x86_64/coq-ide-debuginfo-8.20.1-lp160.72.34.x86_64.rpm