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

fstar.2025.06.13
#28026 opened Jun 13, 2025 by mtzguido Loading…
[new release] sel (0.7.0)
#28024 opened Jun 13, 2025 by gares 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…
x-maintenance-intent run 20250530 do not merge
#27977 opened Jun 2, 2025 by hannesm Loading…
Package echo.0.0.5 needs reporter action
#27974 opened Jun 2, 2025 by deakodev Loading…
[new release] ancient (0.10.0) question
#27965 opened May 30, 2025 by Halbaroth Loading…
Frama-C: new release (31.0~beta-Gallium) question
#27939 opened May 27, 2025 by jrochel Loading…
Release conf-libelf needs reporter action
#27922 opened May 25, 2025 by af-afk Loading…
creates conf-gegl needs reporter action
#27805 opened Apr 21, 2025 by fccm2 Loading…
Disable gluon on GCC 14 question
#27771 opened Apr 17, 2025 by Leonidas-from-XIV Loading…
UPDATE Pds to 6.55
#27694 opened Mar 30, 2025 by orbitz Loading…
update conf-g++ availability question
#27550 opened Mar 4, 2025 by thatportugueseguy Loading…
ProTip! Adding no:label will show everything without a label.