1. download
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 (5125565 bytes)
• Last modified: 03-Oct-2026 18:50:00 (Unix timestamp: 1791053400)
• SHA-512 Hash: 6831973425a516012c5b347c4849e6f829619c291e7490efdd57bd7dfa37cb3c17b0455427facd80ac2ee8ff063ab95473670a01442771927103e31090d3602c
• SHA-256 Hash: ac975ac275cf995b4992e79331510f175337d21bed5c18b329e8f91e7024e0be
• SHA-1 Hash: e8308a2303de9d7cb69cacc9097fc755e7b8b471
• MD5 Hash: a6a5ef31c165369fec54cdb862c1449f
• 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