Download file from preferred mirror
List of best mirrors for IP address 18.222.225.231, located in an unknown country.
I am very sorry, but no mirror was found. Feel free to download directly: http://mirrordirector-mb.raspbian.org/raspbian/pool/main/o/ocaml/ocaml_4.14.1-1+rpi1.dsc