diff --git a/src_ext/Makefile b/src_ext/Makefile index d6f54b99682..48e7d4cac4f 100644 --- a/src_ext/Makefile +++ b/src_ext/Makefile @@ -9,7 +9,7 @@ else CAN_PKG=0 endif -URL_ocaml = https://caml.inria.fr/pub/distrib/ocaml-4.09/ocaml-4.09.1.tar.gz +URL_ocaml = https://github.com/ocaml/ocaml/archive/4.09.1.tar.gz MD5_ocaml = 1a7fc32aebbad6cb821ef26a396f78e7 URL_flexdll = https://github.com/alainfrisch/flexdll/archive/0.38.tar.gz