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

File information

• Filename: ocaml-rocq-9.3.0-dlo.150600.1.5.src.rpm
• Path: /repositories/devel:/languages:/ocaml/SLE_15a/src/ocaml-rocq-9.3.0-dlo.150600.1.5.src.rpm
• Size: 4.9MiB (5112768 bytes)
• Last modified: 10-Nov-2026 15:02:00 (Unix timestamp: 1794322920)
• SHA-512 Hash: 124f49b6168e3b471f68b3f04a76b89cb2206c4b878d5ed9877353fbc0dfb6c980664185491cbc7d2e664cc60d9e1229044141842b9168af0154e02350fc6820
• SHA-256 Hash: fd73746500d5c89591e9c761f62647858e6fb0050191653327580c345cfad1c2
• SHA-1 Hash: e839d699754d2eb5073787d9326616797cf7e05a
• MD5 Hash: 426a7e50d0af0019f59759031deab7b7
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/devel:/languages:/ocaml/SLE_15a/src/ocaml-rocq-9.3.0-dlo.150600.1.5.src.rpm