Switch from caml.inria.fr to GitHub

ocaml · Jun 14, 2024 · ae0692a · ae0692a
1 parent e47154c
commit ae0692a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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