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

File information

• Filename: coq-8.20.1-1.2.src.rpm
• Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20250205/repo/src-oss/src/coq-8.20.1-1.2.src.rpm
• Size: 17MiB (17921636 bytes)
• Last modified: 01-Feb-2025 05:24:13 (Unix timestamp: 1738387453)
• SHA-512 Hash: 584dfc3d3983b7b0d87afc0ce3452165d492a16ff5d5532e304642f14cd379f5eeae08e6b4a5aa4af4db8a8da62413370356ae77fe27564dda0938d06954bde5
• SHA-256 Hash: 02c0e88cc16efd2381270875df7da88f2dbb2819a2b8d62231d7e8cd4470b48c
• SHA-1 Hash: 1b6a6bb62d7ca4300508a14b2228bb8722c1e581
• MD5 Hash: e3a1bf1aadf62b9209125090b69fc606
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20250205/repo/src-oss/src/coq-8.20.1-1.2.src.rpm