File information
- Filename: rocq-ide-9.3.0-dlot.150700.88.14.ppc64le.rpm
- Path: /repositories/devel:/languages:/ocaml:/ct/SLE_15p/ppc64le/rocq-ide-9.3.0-dlot.150700.88.14.ppc64le.rpm
- Size: 8.2MiB (8571560 bytes)
- Last modified: 03-Nov-2026 14:02:00 (Unix timestamp: 1793714520)
- SHA-512 Hash: c4f466bd77b2d8d828dad6556af139cafa6ac68508a7b762af51a812f23752bdd28a9beb8f487f96e473b138986b341b0aeb163b80a532051f22bbbdd63a80a8
- SHA-256 Hash: c9dd134b902b1ce252ff94172ac52c5ae5233339f6674982ae46dcec66ebfdc5
- SHA-1 Hash: a4275e68b7d30c2c9a374e6ed7d2570d7905a0d0
- MD5 Hash: 893476142cf005f7f676e73da3e2f656
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml:/ct/SLE_15p/ppc64le/rocq-ide-9.3.0-dlot.150700.88.14.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.228, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)