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

File information

• Filename: coq-doc-8.19.2-1.2.noarch.rpm
• Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240901/repo/oss/noarch/coq-doc-8.19.2-1.2.noarch.rpm
• Size: 5.7MiB (6001649 bytes)
• Last modified: 28-Aug-2024 10:15:17 (Unix timestamp: 1724840117)
• SHA-512 Hash: 57bb857c94580b6acd5af70967b8c471da3bd9c955d06b864923b931663071c571f70edf447dfa691a6c25818f58c7dde098c6978595f9805e7cffe70e214230
• SHA-256 Hash: 74b991f1ce5a027b4b8e1b7322266cc0f2dfc0af7181c398d93c1da3225b097d
• SHA-1 Hash: 299c4d7792c764e92e3d35064ff262913ff0f4b6
• MD5 Hash: ddadc6e5b68931ba780901207fafdc45
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/base.20240901/repo/oss/noarch/coq-doc-8.19.2-1.2.noarch.rpm