1. ^
2. repositories
3. openSUSE:
4. ALP:
5. Experimental:
6. Slowroll
7. base.20241002
8. repo
9. src-oss
10. src
11. coq-8.20.0-1.1.src.rpm

File information

• Filename: coq-8.20.0-1.1.src.rpm
• Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20241002/repo/src-oss/src/coq-8.20.0-1.1.src.rpm
• Size: 17MiB (17914740 bytes)
• Last modified: 09-Sep-2024 13:00:36 (Unix timestamp: 1725886836)
• SHA-512 Hash: 09383a600796d7a9402a4d39461ddf4a8ba53c3990cd527ae83c94f73c3e146342ff447bc03ca7515aa27f4bf8d562d0724a2d83e1021550be8e112395d1f058
• SHA-256 Hash: 4e86eb23a4ce870e13054cc3b65a8f2d9895a77e638608c6818e2ee9dceab7c9
• SHA-1 Hash: c361af9aa69d495cb275951ba1c1639c554bfce5
• MD5 Hash: ccf9a252a15ca3ce7bee5c1b9be964fe
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20241002/repo/src-oss/src/coq-8.20.0-1.1.src.rpm