Skip to content

Pull requests: ocaml/opam-repository

New pull request New
41 Open 26,607 Closed
41 Open 26,607 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

[new release] fast_bitvector (0.1.2.2)
#28063 opened Jun 22, 2025 by smuenzel Loading…
1
Package cvc5.1.3.0
#28061 opened Jun 21, 2025 by joaomhmpereira Loading…
[new release] ocamlformat-mlx (2 packages) (0.27.0.1)
#28059 opened Jun 21, 2025 by andreypopp Loading…
[new release] mlx (2 packages) (0.10)
#28058 opened Jun 21, 2025 by andreypopp Loading…
1
Add hol_light 3.1.0
#28056 opened Jun 20, 2025 by aqjune Loading…
Package ppxlib_jane.v0.17.4 priority for next OCaml release
#28055 opened Jun 20, 2025 by dkalinichenko-js Loading…
2
Package crs.0.0.20250620
#28054 opened Jun 20, 2025 by mbarbin Loading…
3
[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…
1
[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…
[new release] arrakis 1.1.0 and 1.1.1
#28046 opened Jun 19, 2025 by valoran-M Loading…
[new release] git-kv (2 packages) (0.2.0)
#28041 opened Jun 18, 2025 by dinosaure Loading…
1
Package forester.5.0 do not merge needs reporter action
#28039 opened Jun 17, 2025 by jonsterling Loading…
3
6 packages from bensmrs/gendarme at 0.3.0
#28038 opened Jun 17, 2025 by bensmrs Loading…
4
Add conf-taglib_c needs opam-repository maintainer action
#28001 opened Jun 8, 2025 by EruEri Loading…
7
[new release] runtime_events_tools (2 packages) (0.5.2)
#27984 opened Jun 4, 2025 by tmcgilchrist Loading…
2
Package echo.0.0.5 needs reporter action
#27974 opened Jun 2, 2025 by deakodev Loading…
4
[new release] ancient (0.10.0) question
#27965 opened May 30, 2025 by Halbaroth Loading…
3
Frama-C: new release (31.0~beta-Gallium) question
#27939 opened May 27, 2025 by jrochel Loading…
8
Package ocaml-fsrs.0.1.0-alpha3 needs reporter action
#27920 opened May 24, 2025 by chaosarium Loading…
5
Lift the restriction on installing 5.3.0+BER on macos+arm64 question
#27887 opened May 16, 2025 by yallop Loading…
9
Extend ocaml-option-fp for ARM64 and OCaml 5.4
#27881 opened May 15, 2025 by tmcgilchrist • Draft
[new release] portmidi (0.4) needs reporter action question
#27877 opened May 14, 2025 by mbacarella Loading…
1
small fix for conf-mariadb.2 needs reporter action
#27865 opened May 9, 2025 by raphael-proust Loading…
3
ProTip! Adding no:label will show everything without a label.