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

File information

• Filename: ocaml-rocq-9.3.0-dlo.1600.1.5.src.rpm
• Path: /repositories/devel:/languages:/ocaml/SLE_16/src/ocaml-rocq-9.3.0-dlo.1600.1.5.src.rpm
• Size: 4.9MiB (5125512 bytes)
• Last modified: 24-Sep-2026 07:45:38 (Unix timestamp: 1790235938)
• SHA-512 Hash: 6c5d825313b9fceb5b44ad81e282fba943889c5c2d0dce0ee6044bafa712e32636ad086ed8268319863626862a44792d33ae86d5d984aa3a7eea3f8addd6eeed
• SHA-256 Hash: 20f1c5ffe0fc68003384a13c80bd3e9ceaac5fab7241082aff47aa4ed718ae91
• SHA-1 Hash: ef0fb8409aee00a3f5a5269dce06d5878942ad37
• MD5 Hash: d0d127487a6194c2765e4ca9c07959e7
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/devel:/languages:/ocaml/SLE_16/src/ocaml-rocq-9.3.0-dlo.1600.1.5.src.rpm