anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #25967 from hannesm/repo-warn-patch

repo: warn macOS users with opam < 2.1.6 with no patch

authored by

Marcello Seri and committed by
GitHub 1d3d042b fa73269c

+3
+3
repo
··· 8 8 """ 9 9 [INFO] opam 2.1 includes many performance improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html) 10 10 """ {opam-version >= "2.0.10" & opam-version < "2.1.0~~"} 11 + """ 12 + [WARNING] please ensure to have GNU patch installed as `patch`. Otherwise update may fail silently (since it can't remove files). 13 + """ {os = "macos" & opam-version < "2.1.6"} 11 14 ]