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

File information

• Filename: ocaml-rocq-9.3.0-dlo.1699.1.42.src.rpm
• Path: /repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-rocq-9.3.0-dlo.1699.1.42.src.rpm
• Size: 4.9MiB (5125565 bytes)
• Last modified: 26-Oct-2026 00:20:00 (Unix timestamp: 1792974000)
• SHA-512 Hash: e228452585639c66e5d6e85887599b4cc328a50651bcb75624f0a406ed332616eeb53444b4a08814391f6e8317ce210b4794735b7e47d67584399894c4e770ad
• SHA-256 Hash: ce08baad1e027a9b99db546d0d75bdc862b90ac0c9db25a9e159309a2291818a
• SHA-1 Hash: c0f103269095ee40c2b0012862cfdfdb1a733f17
• MD5 Hash: 8ecfa6d8c84908bd558b5c94d0fe3812
• 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.42.src.rpm