Skip to content

Commit

Permalink
Merge pull request #6020 from mtelvers/ocamlgraph
Browse files Browse the repository at this point in the history
Update URL for ocamlgraph source
  • Loading branch information
dra27 authored Jun 18, 2024
2 parents 7d4a0f2 + b6b0816 commit f75d371
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src_ext/Makefile.sources
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down

0 comments on commit f75d371

Please sign in to comment.