File information
- Filename: rocq-9.3.0-dlot.150700.88.14.ppc64le.rpm
- Path: /repositories/devel:/languages:/ocaml:/ct/SLE_15p/ppc64le/rocq-9.3.0-dlot.150700.88.14.ppc64le.rpm
- Size: 59MiB (61661504 bytes)
- Last modified: 03-Nov-2026 14:02:00 (Unix timestamp: 1793714520)
- SHA-512 Hash: 0e364380570bae2cc85c28b013dfd73e6ab3ea2d6718441479a83b5708fca1bf1c0fbc34d2a3dffe42b50193a837b18bd0aebb0cda1bcc100b1cef741e35c6b7
- SHA-256 Hash: 13362ab6f546bf18fdbf15b5b25f60b76af042c433f4629af9cb5e0356ae515a
- SHA-1 Hash: c882a403e7c764bdd9c154026fa63ab47a48270d
- MD5 Hash: 9708f2dcd76bf55a94639d0038155e79
- 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.14.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.217.8, 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)