File information
- Filename: ocaml-coq-8.19.1-dlo.120500.1.30.x86_64.rpm
- Path: /repositories/devel:/languages:/ocaml/SLE_12/x86_64/ocaml-coq-8.19.1-dlo.120500.1.30.x86_64.rpm
- Size: 85MiB (89256145 bytes)
- Last modified: 25-Jun-2024 17:25:00 (Unix timestamp: 1719336300)
- SHA-512 Hash: 6ac25a40d964b2eb76ff9f5bd415a00f8526356c02cc98dd33ff0ca99e37dc8851a100b64ea5c49ea6240bf0b968f2e661f1277ff290d99a53ac92d9bc00e5a8
- SHA-256 Hash: 2a653f43a8b73ac4a9bc06f9240335774fbf42f3b02e9b94f9d1391b905fde12
- SHA-1 Hash: fd7f6837d1d81871a6017624a3b8ae01caa6d2d4
- MD5 Hash: 53d1166dbeed353782bfdeaff6841e2d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://downloadcontent2.opensuse.org/repositories/devel:/languages:/ocaml/SLE_12/x86_64/ocaml-coq-8.19.1-dlo.120500.1.30.x86_64.rpm
Mirrors
List of best mirrors for IP address 3.137.218.5, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 5
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.tspu.ru (RU)
- ftp.lysator.liu.se (SE)