-
Notifications
You must be signed in to change notification settings - Fork 167
Pull requests: coq/opam
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 from 5.0 to 4.14.2
#3326
opened Jan 31, 2025 by
MSoegtropIMC
Loading…
Coq dev/rc packages: remove outdated restriction to dune < 3.14
#3228
opened Dec 3, 2024 by
MSoegtropIMC
•
Draft
ProTip!
Exclude everything labeled
bug with -label:bug.