-
Notifications
You must be signed in to change notification settings - Fork 166
Pull requests: coq/opam
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Allow dune >= 3.15.3 in all packages restricting dune to < 3.14
#3090
opened Jul 3, 2024 by
MSoegtropIMC
Loading…
ProTip!
Filter pull requests by the default branch with base:master.