File information
- Filename: rocq-devel-9.3.0-dlot.150700.88.4.ppc64le.rpm
- Path: /repositories/devel:/languages:/ocaml:/ct/SLE_15p/ppc64le/rocq-devel-9.3.0-dlot.150700.88.4.ppc64le.rpm
- Size: 101MiB (106032384 bytes)
- Last modified: 29-Sep-2026 16:51:00 (Unix timestamp: 1790700660)
- SHA-512 Hash: bfc1591f7f634d4914763ec2fd6508f6002e0c4247f4a47ff21dfa8c09b1048a17eb5ac20bcf2910fc78362f10d18f3b654e9e6271d9bea568446bb4bb59467b
- SHA-256 Hash: 0c98174ae62abd8209a8b96952a25a148806e03011625223a5973d0ae8f63d82
- SHA-1 Hash: 31d26371d6a7669bbfdd8677cb07486546b40e5e
- MD5 Hash: 7a4c32d1b576d75b2cec97871cee2e96
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml:/ct/SLE_15p/ppc64le/rocq-devel-9.3.0-dlot.150700.88.4.ppc64le.rpm
Mirrors
List of best mirrors for IP address 140.248.79.64, 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: 4
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- download.opensuse.id (ID)
- opensuse.mirror.liquidtelecom.com (KE)