File information
- Filename: ocaml-coq-9.2.0-dlo.1600.2.8.x86_64.rpm
- Path: /repositories/devel:/languages:/ocaml/SLE_16/x86_64/ocaml-coq-9.2.0-dlo.1600.2.8.x86_64.rpm
- Size: 79MiB (83092348 bytes)
- Last modified: 28-Jul-2026 14:43:00 (Unix timestamp: 1785249780)
- SHA-512 Hash: 61c426a14c60b9443c61cd2ffa2bf980e86b1d2cc83a768850af0033515c9bae5b1627a8748a80c9f82ddfbc230b5e11683e4e27b59c9b28d3f29c1984925480
- SHA-256 Hash: 7582e8b5a8772568101499508b26ce9212b1278cc6f57d91188032fcfa3d86a0
- SHA-1 Hash: 20c446201f237d4f47f50b32a6e0f7fa05c136c6
- MD5 Hash: 5327ee82e2acd5e8de65f239eb71c5fe
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/devel:/languages:/ocaml/SLE_16/x86_64/ocaml-coq-9.2.0-dlo.1600.2.8.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.143, 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)