1. ^
2. repositories
3. openSUSE:
4. Factory:
5. RISCV
6. standard
7. noarch
8. coq-doc-8.20.1-1.3.noarch.rpm

File information

• Filename: coq-doc-8.20.1-1.3.noarch.rpm
• Path: /repositories/openSUSE:/Factory:/RISCV/standard/noarch/coq-doc-8.20.1-1.3.noarch.rpm
• Size: 5.8MiB (6052086 bytes)
• Last modified: 04-Mar-2025 22:44:00 (Unix timestamp: 1741128240)
• SHA-512 Hash: c0f3f9bf725d365581b5bf4aee5d872c0a1022a930bd81971fef48d21d90a0c63bfa7efd301b2d131a88fffbe064fc9ac5d72cb834bc0eb3603e325c10252754
• SHA-256 Hash: 15834913ce6a235a24be91a80f83c9e457e096346bd09c3f62a314c92a16b0e2
• SHA-1 Hash: f674ca88425b1766ca117e3d73fc95a4fd603651
• MD5 Hash: df39cfa944f272530eab112808557410
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/openSUSE:/Factory:/RISCV/standard/noarch/coq-doc-8.20.1-1.3.noarch.rpm