1. ^
2. repositories
3. devel:
4. languages:
5. ocaml:
6. ct
7. SLE_15p
8. ppc64le
9. rocq-9.3.0-dlot.150700.88.4.ppc64le.rpm

File information

• Filename: rocq-9.3.0-dlot.150700.88.4.ppc64le.rpm
• Path: /repositories/devel:/languages:/ocaml:/ct/SLE_15p/ppc64le/rocq-9.3.0-dlot.150700.88.4.ppc64le.rpm
• Size: 59MiB (61659332 bytes)
• Last modified: 29-Sep-2026 16:51:00 (Unix timestamp: 1790700660)
• SHA-512 Hash: 3f2c23fe748c40edff48d1f1762a8d086ee957388891c1a08fb33f4c054c9de52ea26eb0f980460dbd810e5a376222ca1be730efe3acde83948ccb8b07d2505a
• SHA-256 Hash: 47f7ba9d1a97caca30f7bb0be9c02afa94379f311e9ae7b792bd97df4a85572a
• SHA-1 Hash: 92460f97f01226e30c2c89ac48ee15191d9d1757
• MD5 Hash: f53fdfe77d199a466c79b69e111bd31e
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml:/ct/SLE_15p/ppc64le/rocq-9.3.0-dlot.150700.88.4.ppc64le.rpm