Switch from caml.inria.fr to GitHub

ocaml · Jun 14, 2024 · f4cf109 · f4cf109
1 parent e47154c
commit f4cf109
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src_ext/Makefile b/src_ext/Makefile
@@ -9,8 +9,8 @@ else
 CAN_PKG=0
 endif
 
-URL_ocaml = https://caml.inria.fr/pub/distrib/ocaml-4.09/ocaml-4.09.1.tar.gz
-MD5_ocaml = 1a7fc32aebbad6cb821ef26a396f78e7
+URL_ocaml = https://github.com/ocaml/ocaml/archive/4.09.1.tar.gz
+MD5_ocaml = 88b0d02acce5abdf8f2e98ea266cacc4
 
 URL_flexdll = https://github.com/alainfrisch/flexdll/archive/0.38.tar.gz
 MD5_flexdll = dca52bce081c8f19e9cd78219458a816