Skip to content

Pull requests: ocaml/opam-repository

New pull request New
51 Open 27,239 Closed
51 Open 27,239 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

Add alice.0.1.1
#28941 opened Nov 21, 2025 by gridbugs Loading…
Package msvs-detect.0.8.0
#28940 opened Nov 20, 2025 by dra27 Loading…
Fix MSys2 side-conditions for conf-packages, part 1/3
#28939 opened Nov 20, 2025 by jmid Loading…
2
Package azure-cosmos-db.0.3.2
#28938 opened Nov 20, 2025 by mknaack Loading…
[new release] hol2dk (2.1.0)
#28937 opened Nov 20, 2025 by fblanqui Loading…
[new release] qcow (4 packages) (0.12.2)
#28936 opened Nov 20, 2025 by psafont Loading…
1
[new release] flint (4 packages) (0.4.1)
#28935 opened Nov 20, 2025 by bobot Loading…
[new release] bstr (3 packages) (0.0.3) consider for merge
#28933 opened Nov 20, 2025 by dinosaure Loading…
Add jasmin.2025.06.2
#28932 opened Nov 20, 2025 by eponier Loading…
lmdb depext on nixos
#28931 opened Nov 20, 2025 by RyanGibb Loading…
[new release] goblint-cil (2.0.9)
#28929 opened Nov 20, 2025 by sim642 Loading…
8 packages from ocaml/opam at 2.5.0~rc1
#28928 opened Nov 19, 2025 by kit-ty-kate Loading…
3
Package soupault.5.2.0 needs reporter action
#28926 opened Nov 19, 2025 by dmbaturin Loading…
2
[new release] yocaml (14 packages) (2.7.0) needs reporter action
#28919 opened Nov 18, 2025 by xvw Loading…
2
[new release] salto-analyzer (0.2) consider for merge
#28917 opened Nov 18, 2025 by esope Loading…
3
chore: update gappa to version 1.6.0 consider for merge
#28914 opened Nov 17, 2025 by Justme0606 Loading…
7
Release diffast v0.3.6 consider for merge needs reporter action
#28911 opened Nov 17, 2025 by codinuum Loading…
7
[new release] avro-simple (0.1) consider for merge
#28910 opened Nov 16, 2025 by tmcgilchrist Loading…
7
Package crowbar.0.2.2 consider for merge
#28907 opened Nov 16, 2025 by stedolan Loading…
5
Package coq-waterproof.3.1.0+9.1
#28903 opened Nov 16, 2025 by jim-portegies • Draft
[new release] ocaml-protoc (4 packages) (4.0) consider for merge
#28902 opened Nov 16, 2025 by c-cube Loading…
15
4 packages from ocsigen/lwt at 6.0.0-beta01
#28894 opened Nov 14, 2025 by raphael-proust Loading…
6 packages from zoggy.frama.io/ojs-base/releases/ojs-base-0.9.0.tar.bz2 consider for merge question
#28882 opened Nov 12, 2025 by zoggy Loading…
3
[new release] reason (2 packages) (3.17.1) needs reporter action
#28867 opened Nov 9, 2025 by anmonteiro Loading…
2
[new release] Melange 6.0.0 consider for merge question
#28866 opened Nov 9, 2025 by anmonteiro Loading…
3
ProTip! Adding no:label will show everything without a label.