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

File information

• Filename: ocaml-rocq-9.3.0-dlo.150600.1.2.ppc64le.rpm
• Path: /repositories/devel:/languages:/ocaml/SLE_15p/ppc64le/ocaml-rocq-9.3.0-dlo.150600.1.2.ppc64le.rpm
• Size: 69MiB (72460212 bytes)
• Last modified: 29-Sep-2026 17:05:31 (Unix timestamp: 1790701531)
• SHA-512 Hash: 0e9247fa75ad36428d9a4c142a7ba0450d6a496c6c57165408aec8a7090c114894342211b54af99398d0174590b01b5878b1056bd91a02872d89bfef13fd4d92
• SHA-256 Hash: 72cd644f778bd06819dc74a2b5a17fe4bc565ceddf70dba0eb95870bdf982622
• SHA-1 Hash: e0b4354ea3a9ef484f57a835279285a152ec2783
• MD5 Hash: 661ef0f481ab4ad323a94a7e306429fe
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml/SLE_15p/ppc64le/ocaml-rocq-9.3.0-dlo.150600.1.2.ppc64le.rpm