File information
- Filename: rocq-9.2.0-dlot.150600.82.6.aarch64.rpm
- Path: /repositories/devel:/languages:/ocaml:/ct/SLE_15/aarch64/rocq-9.2.0-dlot.150600.82.6.aarch64.rpm
- Size: 57MiB (60150756 bytes)
- Last modified: 03-Jul-2026 18:56:25 (Unix timestamp: 1783104985)
- SHA-512 Hash: dce23350e818e4fb30d188c7523a47a024a3c19899bd5b3bc8ad66c16c29f21d5e09c71a397c31de21fbd715e5a583bce3302f72f141a93f628bc1ffb7acaf9f
- SHA-256 Hash: bd9b70877ec18f5eec685a2422438e0862f050f0deb2f91e9e7f26a69cbc7050
- SHA-1 Hash: 6cd5713102abfac3130fdfb8efa0de11da88401e
- MD5 Hash: 0c052660b579a38640a02e95986710b3
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml:/ct/SLE_15/aarch64/rocq-9.2.0-dlot.150600.82.6.aarch64.rpm
Mirrors
List of best mirrors for IP address 140.248.79.119, 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)