Update URL for ocamlgraph source

ocaml · Jun 11, 2024 · b6b0816 · b6b0816
1 parent 7d4a0f2
commit b6b0816
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src_ext/Makefile.sources b/src_ext/Makefile.sources
@@ -18,7 +18,7 @@ MD5_cmdliner = ab2f0130e88e8dcd723ac6154c98a881
 
 $(call PKG_SAME,cmdliner)
 
-URL_ocamlgraph = http://ocamlgraph.lri.fr/download/ocamlgraph-1.8.8.tar.gz
+URL_ocamlgraph = https://github.com/backtracking/ocamlgraph/releases/download/v1.8.8/ocamlgraph-1.8.8.tar.gz
 MD5_ocamlgraph = 9d71ca69271055bd22d0dfe4e939831a
 
 $(call PKG_SAME,ocamlgraph)