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

File information

• Filename: ocaml-rocq-9.3.0-dlo.150600.1.2.src.rpm
• Path: /repositories/devel:/languages:/ocaml/SLE_15p/src/ocaml-rocq-9.3.0-dlo.150600.1.2.src.rpm
• Size: 4.9MiB (5112777 bytes)
• Last modified: 29-Sep-2026 17:05:00 (Unix timestamp: 1790701500)
• SHA-512 Hash: 88be7f3553e2ffb8d2cc301c2617eaf275b465497ddceef6f9514a42cfb0746d48da76ef9ba84d096ccd5f9bbfa764cb98f03a23d0333249b4e3a1259a202e3a
• SHA-256 Hash: 5e5bcc446e05a6b985d52253ba44b7fb05f7eb6f5e555894b5eda7d03bc3b7a7
• SHA-1 Hash: d2d32271dd15549985b62f3b231496148859e050
• MD5 Hash: 37e917a30909327c2ed6c7df3c9f52a8
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml/SLE_15p/src/ocaml-rocq-9.3.0-dlo.150600.1.2.src.rpm