Skip to content

Pull requests: ocaml/opam-repository

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

[new release] dune (15 packages) (3.19.1)
#28017 opened Jun 11, 2025 by maiste Loading…
Add Z3 4.15.1
#28015 opened Jun 11, 2025 by wintersteiger Loading…
[new release] syndic (1.7.0)
#28014 opened Jun 11, 2025 by dinosaure Loading…
Package base.v0.17.3
#28012 opened Jun 10, 2025 by dkalinichenko-js Loading…
Package cudd.0.1.1
#28009 opened Jun 10, 2025 by yarukha Loading…
[new release] ooh (0.0.3)
#28006 opened Jun 10, 2025 by smuenzel Draft
conf-gnuplot: Add support for windows & openbsd
#27996 opened Jun 5, 2025 by clecat Loading…
x-maintenance-intent run 20250530 consider for merge
#27977 opened Jun 2, 2025 by hannesm Loading…
Package echo.0.0.5 consider for merge
#27974 opened Jun 2, 2025 by deakodev Loading…
[new release] ancient (0.10.0) question
#27965 opened May 30, 2025 by Halbaroth Loading…
5 packages from bensmrs/gendarme at 0.2.0
#27964 opened May 30, 2025 by bensmrs Loading…
Frama-C: new release (31.0~beta-Gallium)
#27939 opened May 27, 2025 by jrochel Loading…
frama-c-metacsl Version 0.9~beta do not merge
#27937 opened May 27, 2025 by frama-ci-bot Loading…
Release conf-libelf needs reporter action
#27922 opened May 25, 2025 by af-afk Loading…
ProTip! Add no:assignee to see everything that’s not assigned.