1. ^
2. repositories
3. devel:
4. languages:
5. ocaml
6. SLE_15a
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_15a/src/ocaml-rocq-9.3.0-dlo.150600.1.2.src.rpm
• Size: 4.9MiB (5112768 bytes)
• Last modified: 29-Sep-2026 17:04:38 (Unix timestamp: 1790701478)
• SHA-512 Hash: de6c72b70e4e5c106e8a0a7565ebb068bd0c24dfb33183b2fcceb0a02d2d8bc0c6fcb48f682b41bf99aaabfa2b49fbb2d942a625593a384a8acfc7c56e19a23f
• SHA-256 Hash: 7a89eeeb1e2ccab812bd57302edd91a8e3512a8c61dabef49942fc7282ca3c02
• SHA-1 Hash: 1bb13413dce659af21cac5da7936f0d4d0ffedd1
• MD5 Hash: 53961c6075543f44e720f61c80fc4c7b
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml/SLE_15a/src/ocaml-rocq-9.3.0-dlo.150600.1.2.src.rpm