Skip to content

Update the download-if-missing patch to 3.1.0 #6772

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
rjbou merged 1 commit into from
Nov 18, 2025
Merged

Update the download-if-missing patch to 3.1.0 #6772

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions master_changes.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
4 changes: 2 additions & 2 deletions src_ext/Makefile.sources
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Loading