Skip to content

Pull requests: rocq-prover/opam

New pull request New
Clear current search query, filters, and sorts
6 Open 3,297 Closed
6 Open 3,297 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Release Iris 4.4.0 and std++ 1.12.0
#3443 opened Jun 4, 2025 by jesper-bengtson Loading…
Release for coq-wasm.2.0.3
#3441 opened Jun 3, 2025 by raoxiaojia Loading…
add coq-vst-ora package for use as a dependency in VST 3.x
#3440 opened May 31, 2025 by mansky1 Loading…
add coq-vst.3.1beta (try 2)
#3439 opened May 31, 2025 by mansky1 • Draft
1
Coq dev/rc packages: remove outdated restriction to dune < 3.14
#3228 opened Dec 3, 2024 by MSoegtropIMC • Draft
23
Add test for lower bounds on dependencies.
#3218 opened Nov 29, 2024 by silene • Draft
ProTip! Follow long discussions with comments:>50.