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

File information

• Filename: ocaml-rocq-9.3.0-dlo.1699.1.12.src.rpm
• Path: /repositories/devel:/languages:/ocaml/openSUSE_Tumbleweed/src/ocaml-rocq-9.3.0-dlo.1699.1.12.src.rpm
• Size: 4.9MiB (5125565 bytes)
• Last modified: 01-Oct-2026 22:10:00 (Unix timestamp: 1790892600)
• SHA-512 Hash: 120bba27856cc63c9aa33e3ed86e9511310a8044581fc1a09dc4912c971b5eddd6095732475b5a36e35bae48664ab3790f914f06c59cbc5f4f44885e3e301278
• SHA-256 Hash: 93cd773b0be350397a6a713196e9f8025cfb94b5b1fbe72784d3a47a32764b2e
• SHA-1 Hash: 997695cbf9a8e2c90a2d18d265b0e6231e6abbad
• MD5 Hash: e2d0be55ceb43bfd42d134f37737b684
• 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.12.src.rpm