File information
- Filename: ocaml-rocq-devel-9.3.0-1.18.riscv64.rpm
- Path: /repositories/devel:/languages:/haxe/openSUSE_Tumbleweed/riscv64/ocaml-rocq-devel-9.3.0-1.18.riscv64.rpm
- Size: 111MiB (116080172 bytes)
- Last modified: 05-Oct-2026 22:59:05 (Unix timestamp: 1791241145)
- SHA-512 Hash: e9ac537039d7328a8eaf1240036e7b154667f5c9ac9ad438035bb65804f0b33106edf0581378a74adca6840a8411e3696e9c8544aaaf9972a1e56c67b751c08c
- SHA-256 Hash: edcfdc535e1c8fe8fd2193f67dbb749204ce036c12922060a49d1913c6b56577
- SHA-1 Hash: 790df9678e4b5488c6cceada5bc3180ab2e86ff2
- MD5 Hash: 513953cfb84d17ba139a7634137fe9c6
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/haxe/openSUSE_Tumbleweed/riscv64/ocaml-rocq-devel-9.3.0-1.18.riscv64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.56, 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)