Skip to content

Update for opam 2.5#1037

Merged
mtelvers merged 2 commits intoocurrent:masterfrom
mtelvers:opam-2.5
Feb 27, 2026
Merged

Update for opam 2.5#1037
mtelvers merged 2 commits intoocurrent:masterfrom
mtelvers:opam-2.5

Commits

Commits on Feb 3, 2026