diff --git a/master_changes.md b/master_changes.md index 64c0d77403e..6236882184e 100644 --- a/master_changes.md +++ b/master_changes.md @@ -77,6 +77,7 @@ users) * opam no longer depends on `cmdliner` [#6755 @kit-ty-kate - fix #6425] * Clean variables before calling make on different projects to avoid clashes [#6769 @kit-ty-kate] * Add the upcoming OCaml 5.5 (trunk) support when using dune's dev profile [#6670 @kit-ty-kate] + * Update the download-if-missing patch to 3.1.0 [#6772 @kit-ty-kate] ## Infrastructure diff --git a/src_ext/Makefile.sources b/src_ext/Makefile.sources index 7fe3959ef26..7b834b1a070 100644 --- a/src_ext/Makefile.sources +++ b/src_ext/Makefile.sources @@ -54,5 +54,5 @@ MD5_swhid_core = 77d88d4b1d96261c866f140c64d89af8 URL_menhir = https://gitlab.inria.fr/fpottier/menhir/-/archive/20250903/archive.tar.gz MD5_menhir = 5ecb7f71cf374147d3d3137c6e2fe382 -URL_patch = https://github.com/hannesm/patch/releases/download/v3.0.0/patch-3.0.0.tar.gz -MD5_patch = 75aca1ed79a9807e4d4fc6c85aa31b0f +URL_patch = https://github.com/hannesm/patch/releases/download/v3.1.0/patch-3.1.0.tbz +MD5_patch = afda4079f824f3c2ae69f5064bcf870b