1. ^
2. repositories
3. devel:
4. languages:
5. ocaml
6. openSUSE_Tumbleweed
7. src
8. ocaml-rocq-9.3.0-dlo.1699.1.15.src.rpm

File information

• Filename: ocaml-rocq-9.3.0-dlo.1699.1.15.src.rpm
• Path: /repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-rocq-9.3.0-dlo.1699.1.15.src.rpm
• Size: 4.9MiB (5125561 bytes)
• Last modified: 04-Oct-2026 16:08:38 (Unix timestamp: 1791130118)
• SHA-512 Hash: a05371bc4cb89d2913c2c75d8742c0896747aae8cfc6328d016d7512aeea41e2a01d55dbd016aaa048c8b60b6ab03954af0b1c666679982a7805abc6219a414e
• SHA-256 Hash: a68422e17cb9a15206c10c0e99623f45fbf8985368a1e8d92d59a836e4f926a9
• SHA-1 Hash: d3545fa16f33243b89aceb7af35a977993d86972
• MD5 Hash: 7e849fbb62faa31f5da4fed22bbb6030
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-rocq-9.3.0-dlo.1699.1.15.src.rpm