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

Add hol_light 3.1.0
#28056 opened Jun 20, 2025 by aqjune Loading…
Package ppxlib_jane.v0.17.4
#28055 opened Jun 20, 2025 by dkalinichenko-js Loading…
Package crs.0.0.20250620
#28054 opened Jun 20, 2025 by mbarbin Loading…
[new release] CAISAR (4.0)
#28053 opened Jun 20, 2025 by caisar-platform Loading…
[new release] ppx_deriving_yaml (2 packages) (0.4.1)
#28052 opened Jun 20, 2025 by patricoferris Loading…
[new release] postgresql (5.2.0)
#28050 opened Jun 20, 2025 by mmottl Loading…
[new release] irmin (19 packages) (3.11.0)
#28048 opened Jun 19, 2025 by clecat Loading…
8 packages from ocaml/opam at 2.4.0~beta1
#28047 opened Jun 19, 2025 by kit-ty-kate Loading…
[new release] arrakis 1.1.0 and 1.1.1
#28046 opened Jun 19, 2025 by valoran-M Loading…
[new release] mirage-monitoring (0.0.7)
#28043 opened Jun 19, 2025 by hannesm Loading…
[new release] git-kv (2 packages) (0.2.0)
#28041 opened Jun 18, 2025 by dinosaure Loading…
6 packages from bensmrs/gendarme at 0.3.0
#28038 opened Jun 17, 2025 by bensmrs 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…
ProTip! Filter pull requests by the default branch with base:master.