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

File information

• Filename: coq-8.19.2-1.2.src.rpm
• Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240901/repo/src-oss/src/coq-8.19.2-1.2.src.rpm
• Size: 17MiB (17599695 bytes)
• Last modified: 28-Aug-2024 10:15:13 (Unix timestamp: 1724840113)
• SHA-512 Hash: 4a2282cf33aae5b1a5efddf245cf75529621dbccbe1bcfa299be47e9344979c98bb949782b19b71a9e038723d72bd5daa9fad6b6084e824f4ac0dd340f00772f
• SHA-256 Hash: d4668bdcc411c4799ad2efd866d5065dfa13fcfc6eddac3610aae57d13f65742
• SHA-1 Hash: 17e3206e03f4b497b8d4e7dc70b481610d659068
• MD5 Hash: a782dc054d02199b3799aad199bcc3f1
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240901/repo/src-oss/src/coq-8.19.2-1.2.src.rpm