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

File information

• Filename: coq-8.19.2-1.1.src.rpm
• Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240702/repo/src-oss/src/coq-8.19.2-1.1.src.rpm
• Size: 17MiB (17599696 bytes)
• Last modified: 01-Jul-2024 09:58:00 (Unix timestamp: 1719827880)
• SHA-512 Hash: 22ed29b4e9727dbf5a8826a1fed7d9e9d970392abbd2150641da038b7aa916557510ee4816559d3d91ff3085f7b73b545d2ed0020c1c5a1a699235c8f703e5bc
• SHA-256 Hash: d9c6edd9c4f6450f784d38bfd0f27f5c9af85552039ab89356cbc1b67ddc53a8
• SHA-1 Hash: 3d4f3fb2ad4dd3427d6fddbbc8e5f3db9fb97cb9
• MD5 Hash: 4ff12af9e387c2095adcbf5d576f557c
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240702/repo/src-oss/src/coq-8.19.2-1.1.src.rpm