1. ^
2. repositories
3. openSUSE:
4. ALP:
5. Experimental:
6. Slowroll
7. standard
8. noarch
9. coq-doc-8.18.0-1.1.noarch.rpm

File information

• Filename: coq-doc-8.18.0-1.1.noarch.rpm
• Path: /repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/noarch/coq-doc-8.18.0-1.1.noarch.rpm
• Size: 5.8MiB (6078369 bytes)
• Last modified: 07-Nov-2023 00:37:24 (Unix timestamp: 1699317444)
• SHA-512 Hash: aaa002e5d7283b4f1a8b0e529bf84df1c2b768d37e568276f8af2960c7f4700b56b3f242dfe1ab1ba9e91b8cb1543c1c57ce034ea714eb2f48653c5c90c9dfea
• SHA-256 Hash: 1322af914b4dca79cc5ec61fd3e4be321c921c3d8fa966402db22bae1d720398
• SHA-1 Hash: 0ff317806808d6936c185e8a8119faa25028a85b
• MD5 Hash: d6beea6a75aa644446581f16aef56741
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/ALP:/Experimental:/Slowroll/standard/noarch/coq-doc-8.18.0-1.1.noarch.rpm