File information
- Filename: ocaml-rocq-9.3.0-1.18.x86_64.rpm
- Path: /repositories/devel:/languages:/haxe/openSUSE_Tumbleweed/x86_64/ocaml-rocq-9.3.0-1.18.x86_64.rpm
- Size: 81MiB (84716430 bytes)
- Last modified: 05-Oct-2026 21:50:00 (Unix timestamp: 1791237000)
- SHA-512 Hash: dfc39c3d8c2811fbbfd2aa16f73b51d96fc3ec19bb9b958fd2b4e7bc9115dabd4830f7a01a4bc46f895c4ac90b7eb5189c8096516d63fe93e650c05d626ee45a
- SHA-256 Hash: c612d7ec4f398ce14a651e8ec302264538b59fe909db8fc035068b0314431318
- SHA-1 Hash: e93417822f505363533ca6e4be8db02b252e0439
- MD5 Hash: 8393f84e4afe820ba3ba524114524980
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/haxe/openSUSE_Tumbleweed/x86_64/ocaml-rocq-9.3.0-1.18.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.171, 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)