File information
- Filename: ocaml-rocq-9.3.0-1.28.aarch64.rpm
- Path: /repositories/devel:/languages:/haxe/openSUSE_Factory_ARM/aarch64/ocaml-rocq-9.3.0-1.28.aarch64.rpm
- Size: 87MiB (91235508 bytes)
- Last modified: 30-Oct-2026 18:22:00 (Unix timestamp: 1793384520)
- SHA-512 Hash: 1a175396eec1d9a9b62b006289b134c2ed8e1a7c876ac04a148af65a35fa6abc9dbf4bcf5eda40b8ce3012a154bb80399fae845cd216f2e38f1b903f1da915da
- SHA-256 Hash: f4effa8d9d81655d906c0a26fe6d76d643796041320a987f70d43651eba95b72
- SHA-1 Hash: 79b369c4d5e25ee149785b1a7d85a5924dae6a11
- MD5 Hash: ce3682f1f7a3ad7d54e55c0cdd7717d1
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/haxe/openSUSE_Factory_ARM/aarch64/ocaml-rocq-9.3.0-1.28.aarch64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.223, 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)