-
Notifications
You must be signed in to change notification settings - Fork 183
Pull requests: rocq-prover/opam
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
rocq-elpi-json, rocq-elpi-xml: bound dune < 3.24 on the 5 released rows
#3826
opened Aug 11, 2026 by
JasonGross
Member
Loading…
extra-dev: use { != version } for the coq-* wrapper exclusion on 8 rocq-*.dev rows
#3824
opened Aug 10, 2026 by
JasonGross
Member
Loading…
rocq-parseque.0.3.1 is compatible with Rocq 9.3
#3820
opened Aug 7, 2026 by
womeier
Contributor
Loading…
extra-dev: add 46 dev recipes and update 5 more, for packages that do not yet install (on top of #3809)
needs: rebase
PR should be synchronized with the master branch by rebasing.
#3812
opened Aug 6, 2026 by
JasonGross
Member
•
Draft
extra-dev: dev recipes for 9 packages that stopped at Coq 8.19-8.21
#3811
opened Aug 1, 2026 by
JasonGross
Member
Loading…
extra-dev: dev recipes for 13 packages whose release cap is stale
#3810
opened Aug 1, 2026 by
JasonGross
Member
Loading…
CompCert dev: refresh the Menhir development patch, and fix the 32-bit Flocq bound
#3794
opened Jul 28, 2026 by
JasonGross
Member
Loading…
Add coq-of-ocaml 2.5.3+4.14 with modern typeclass visibility
#3792
opened Jul 28, 2026 by
JasonGross
Member
Loading…
Update coq-lsp.dev with latest opam file
#3777
opened Jul 17, 2026 by
yannl35133
Contributor
Loading…
6 packages from rocq-community/trocq at 0.4.0
#3761
opened Jul 1, 2026 by
CohenCyril
Contributor
Loading…
update fiat-crypto and dependencies to Sep 2025
#3529
opened Oct 6, 2025 by
andres-erbsen
Contributor
Loading…
Bump upper bound to < 9.1 for coq-hammer-tactics
#3472
opened Jul 21, 2025 by
Justme0606
Contributor
Loading…
ProTip!
Updated in the last three days: updated:>2026-08-09.