Pull Requests Merge Tests Baselines Running Jobs

Open Pull Requests

Showing 484 pull requests. View current baseline status (b820e8c2)

PR #29445: Package mem_usage.0.1.3 by toots [GitHub]
PR #29444: Package frontmatter_extractor.0.2 by dx3mod [GitHub]
PR #29443: Package opam-publish.3.0.0 by kit-ty-kate [GitHub]
PR #29442: Rocq 9.1.1 by silene [GitHub]
PR #29441: [new release] mhttp (3 packages) (0.0.1) by dinosaure [GitHub] [consider for merge]
PR #29440: Package kqueue.0.5.0 [MERGED] by anuragsoni [GitHub]
PR #29438: OCamlBrowser 5.4.0 by garrigue [GitHub]
PR #29437: use sdl2-compat-devel as of Fedora 42 by jrfondren [GitHub]
PR #29436: [new release] sqlite3 (5.4.0) by mmottl [GitHub]
PR #29435: Package serialport.0.3 [MERGED] by dx3mod [GitHub]
PR #29434: Disable runtest for raven.1.0.0~alpha1 packages by jmid [GitHub]
PR #29432: Package ocsigen-ppx-rpc.1.1 [MERGED] by balat [GitHub]
PR #29431: Package eliom.12.0.0 by balat [GitHub] [do not merge]
PR #29430: [new release] ipaddr (6 packages) (5.6.2) [MERGED] by hannesm [GitHub]
PR #29429: ocaml 4.14.3 & 5.4.1: remove avoid-version [MERGED] by hannesm [GitHub]
PR #29428: [new release] slipshow 0.9.0: Manim Black [MERGED] by panglesd [GitHub]
PR #29427: [new release] httpcats (0.2.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29426: [new release] mhttp (3 packages) (0.0.1) [CLOSED] by dinosaure [GitHub]
PR #29425: add ocaml-solo5 1.2.1 by hannesm [GitHub]
PR #29424: Package ocsigenserver.7.0.0 [MERGED] by balat [GitHub]
PR #29423: [new release] react-rules-of-hooks-ppx (1.2.0) [MERGED] by davesnx [GitHub]
PR #29422: [new release] charrua (4 packages) (3.1.0) [MERGED] by reynir [GitHub] [consider for merge]
PR #29421: curl_lwt: relax de version with lwt [MERGED] by raphael-proust [GitHub]
PR #29420: [new release] qcow (4 packages) (0.13.0) by psafont [GitHub] [needs reporter action]
PR #29419: [new release] hxd (0.4.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29418: [new release] ambient-context (3 packages) (0.2) by c-cube [GitHub]
PR #29417: archive some uninstallable packages: by hannesm [GitHub] [consider for merge]
PR #29416: archive packages with pin-depends by hannesm [GitHub] [consider for merge]
PR #29415: add oq.1.0.4 by s-kostyaev [GitHub]
PR #29414: [new release] flux (2 packages) (0.0.1~beta3) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29413: [new release] utcp (0.0.2) [MERGED] by hannesm [GitHub] [consider for merge]
PR #29412: Package natural-deduction.1.0 by ericjohannesson [GitHub]
PR #29411: [new release] mcrunch (0.0.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29410: [new release] mnet (5 packages) (0.0.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29409: [new release] quickterface (2 packages) (0.1.0) [MERGED] by ofsouzap [GitHub] [question]
PR #29408: OCaml: release of OCaml 5.4.1 and 4.14.3 [MERGED] by Octachron [GitHub]
PR #29407: add oq.1.0.3 [CLOSED] by s-kostyaev [GitHub]
PR #29406: Package oktree.0.2.4 [MERGED] by anentropic [GitHub]
PR #29405: synchronizer.0.3 [MERGED] by redianthus [GitHub]
PR #29404: Update version constraint in vsrocq-language-server.2.3.4 [MERGED] by SkySkimmer [GitHub]
PR #29403: 2 packages from LexiFi/gen_js_api at 1.1.7 [MERGED] by mlasson [GitHub]
PR #29402: Package shibboleth.0.0.5 by wizard7377 [GitHub] [needs reporter action]
PR #29401: [new release] tiny_httpd (3 packages) (0.20) [MERGED] by c-cube [GitHub]
PR #29400: [new release] miou (0.5.4) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29399: Package markdown_monolith.0.1.2 [CLOSED] by Durbatuluk1701 [GitHub]
PR #29398: [new release] quickterface (0.1.0) [CLOSED] by ofsouzap [GitHub] [needs reporter action]
PR #29396: [release] conf-eigen3 by tbrk [GitHub] [needs reporter action]
PR #29395: [release] conf-bzip2 (for ortools_solvers) by tbrk [GitHub] [needs reporter action]
PR #29394: conf-zlib: update for ortools_solvers by tbrk [GitHub] [needs reporter action]
PR #29393: [new release] js_of_ocaml (8 packages) (6.3.2) [MERGED] by hhugo [GitHub] [consider for merge]
PR #29392: Package oktree.0.2.3 [CLOSED] by anentropic [GitHub]
PR #29391: decoders, ppx_cstubs: upper bound on containers 3.18 [MERGED] by mseri [GitHub]
PR #29390: timmy-lwt: upper bound lwt < 6.1.0 [MERGED] by mseri [GitHub] [consider for merge]
PR #29389: Package oktree.0.2.3 [CLOSED] by anentropic [GitHub]
PR #29388: [new release] js_of_ocaml (8 packages) (6.3.1) [CLOSED] by hhugo [GitHub]
PR #29387: [new release] windtrap (0.1.0) by tmattio [GitHub]
PR #29386: [new release] quickterface (0.1.2) [CLOSED] by ofsouzap [GitHub]
PR #29385: [new release] quickterface (0.1.1) [CLOSED] by ofsouzap [GitHub]
PR #29383: [new release] passage (0.3.3) [MERGED] by thatportugueseguy [GitHub] [consider for merge]
PR #29382: Package spectrum.0.7.0 [MERGED] by anentropic [GitHub]
PR #29381: [new release] virtfs (1.0.0) [MERGED] by xvw [GitHub] [needs reporter action]
PR #29380: [new release] ortools (2 packages) (9.15.0) by tbrk [GitHub]
PR #29379: [new release] grace (0.3.0) [MERGED] by johnyob [GitHub] [needs reporter action]
PR #29378: [new release] miou (0.5.3) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29377: [new release] yocaml (14 packages) (3.0.0) [MERGED] by xvw [GitHub]
PR #29376: Package oktree.0.2.2 [MERGED] by anentropic [GitHub]
PR #29374: [new release] dune (17 packages) (3.21.1) [MERGED] by shonfeder [GitHub] [consider for merge]
PR #29372: [new release] containers (2 packages) (3.18) [MERGED] by c-cube [GitHub] [needs reporter action]
PR #29371: [new release] lintcstubs-arity (0.5.1) [MERGED] by edwintorok [GitHub] [consider for merge]
PR #29368: [new release] mirage-crypto (7 packages) (2.0.3) [MERGED] by hannesm [GitHub]
PR #29367: [new release] multipart_form (5 packages) (0.8.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29366: [new release] ortools (2 packages) (9.15.0) [CLOSED] by tbrk [GitHub]
PR #29365: Avoid Menhir 20260203 because it cannot be installed under Windows. [MERGED] by fpottier [GitHub] [consider for merge]
PR #29364: 5 packages from gitlab.inria.fr/fpottier/menhir/-/archive/20260209/archive.tar.gz [MERGED] by fpottier [GitHub]
PR #29363: archival of packages with x-maintenance-intent none [MERGED] by hannesm [GitHub]
PR #29362: Change `primavera` home [MERGED] by xvw [GitHub]
PR #29361: [new release] mkernel (0.0.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29360: Archive available: false packages [MERGED] by hannesm [GitHub]
PR #29357: Package smtml.0.21.0 [MERGED] by filipeom [GitHub]
PR #29356: symex.0.1 [MERGED] by redianthus [GitHub]
PR #29355: [new release] ortools (2 packages) (9.15.0) [CLOSED] by tbrk [GitHub]
PR #29354: Update Bogue dependency version constraints [MERGED] by sanette [GitHub]
PR #29353: Restrict bogue dependency version range [MERGED] by sanette [GitHub]
PR #29352: Camlzip 1.14 [MERGED] by xavierleroy [GitHub]
PR #29351: Package bogue.20260208 [MERGED] by sanette [GitHub]
PR #29350: 11 packages from benodiwal/testcontainers-ocaml at 0.1.0 [MERGED] by benodiwal [GitHub]
PR #29349: [new release] grenier (0.16) [MERGED] by let-def [GitHub]
PR #29348: [new release] js_of_ocaml (8 packages) (6.3.0) [MERGED] by hhugo [GitHub] [consider for merge]
PR #29347: trace: add necessary revdeps upper bounds [MERGED] by mseri [GitHub]
PR #29346: [new release] tracy-client (0.7) [MERGED] by c-cube [GitHub]
PR #29345: [new release] trace (4 packages) (0.11) [MERGED] by c-cube [GitHub]
PR #29344: frama-c-lannotate Version 0.2.5 [MERGED] by frama-ci-bot [GitHub] [consider for merge]
PR #29343: Released jingoo v1.5.2 [MERGED] by tategakibunko [GitHub]
PR #29342: New hevea release: 2.38 [MERGED] by maranget [GitHub]
PR #29341: [new release] alt-ergo-free (1 package) (2.4.3) [MERGED] by Halbaroth [GitHub] [needs reporter action]
PR #29340: 11 packages from benodiwal/testcontainers-ocaml at 0.1.1 [CLOSED] by benodiwal [GitHub] [needs reporter action]
PR #29339: [new release] moonpool (2 packages) (0.11) [MERGED] by c-cube [GitHub]
PR #29338: 11 packages from benodiwal/testcontainers-ocaml at 0.1.0 [CLOSED] by benodiwal [GitHub] [needs reporter action]
PR #29337: fluxt.0.0.1~beta2 requires ptime [MERGED] by dinosaure [GitHub]
PR #29336: rename misnamed lwt6beta packages [MERGED] by raphael-proust [GitHub] [consider for merge]
PR #29335: [new release] dkim (4 packages) (0.10.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29333: [new release] react-rules-of-hooks-ppx (1.1.0) [MERGED] by davesnx [GitHub]
PR #29332: Avoid Menhir 20260122, due to a printing bug in the Rocq back-end. [MERGED] by fpottier [GitHub]
PR #29331: 5 packages from gitlab.inria.fr/fpottier/menhir/-/archive/20260203/archive.tar.gz [MERGED] by fpottier [GitHub]
PR #29330: [Alpine] flint-dev is now in edgecommunity [MERGED] by bobot [GitHub]
PR #29329: Package catala-lsp.1.1.1 [MERGED] by vincent-botbol [GitHub]
PR #29328: [new release] layoutz.0.0.2 [MERGED] by mattlianje [GitHub]
PR #29327: [new package] layoutz.0.0.1 [MERGED] by mattlianje [GitHub]
PR #29326: Package mset.0.2.0 [MERGED] by backtracking [GitHub]
PR #29325: [new release] pxshot (0.1.2) [MERGED] by vieiralucas [GitHub]
PR #29324: [new release] pxshot (0.1.1) [CLOSED] by vieiralucas [GitHub]
PR #29322: lwt 6 alpha and beta packages: stricter mutual constraints [MERGED] by raphael-proust [GitHub]
PR #29321: Package intel_hex.0.3 [MERGED] by dx3mod [GitHub]
PR #29320: [new release] pxshot (0.1.0) [CLOSED] by vieiralucas [GitHub] [needs reporter action]
PR #29318: Package menhir-lsp.0.2.1 [MERGED] by dalps [GitHub]
PR #29317: [new release] domainpc (0.2) [MERGED] by hra687261 [GitHub]
PR #29316: Add an ocaml.5.4.0 upper bound to MlFront_Cli 0.4.0~prerel7 - 2.3.0 [MERGED] by jmid [GitHub]
PR #29315: Package intel_hex.0.2 [MERGED] by dx3mod [GitHub]
PR #29314: Add an ocaml.5.4.0 upper bound on fstar.2025.06.20-2025.09.04 [MERGED] by jmid [GitHub]
PR #29313: Add odoc upper bounds for gospel.0.2.0 and 0.3.0 [MERGED] by jmid [GitHub]
PR #29312: [new release] mosaic (3 packages) (0.1.0) by tmattio [GitHub] [needs reporter action]
PR #29311: Add ocp-indent bounds for running ocamlformat tests [MERGED] by jmid [GitHub]
PR #29310: 9 packages from mbarbin/vcs at 0.0.22 [MERGED] by mbarbin [GitHub]
PR #29309: frama-clang Version 0.0.19 [MERGED] by zilbuz [GitHub] [needs reporter action]
PR #29308: frama-c-metacsl Version 0.10 [MERGED] by zilbuz [GitHub]
PR #29307: [new release] dune-release (2.2.0) [MERGED] by avsm [GitHub] [consider for merge]
PR #29305: inotify.2.1 and .2.2: can't install with lwt option [MERGED] by raphael-proust [GitHub]
PR #29304: Add menhir upper bounds to ocamlformat-mlx-lib 0.26.2.0-0.28.1.1 [MERGED] by jmid [GitHub]
PR #29303: Update constraints to resolve pplumbing inconsistencies [MERGED] by mbarbin [GitHub] [consider for merge]
PR #29302: [new release] qcow (4 packages) (0.12.3) [MERGED] by psafont [GitHub]
PR #29301: Package calendars.2.0.0 [MERGED] by ilankri [GitHub]
PR #29299: Add a menhir upper bound on libsail 0.15-0.20.1 [MERGED] by jmid [GitHub]
PR #29298: Package lwt_ppx.5.9.3 [MERGED] by raphael-proust [GitHub]
PR #29297: mirage-runtime: update bounds to lwt < 6.0.0 [MERGED] by hannesm [GitHub]
PR #29295: 2 packages from ocsigen/lwt at 6.1.0 [MERGED] by raphael-proust [GitHub] [consider for merge]
PR #29294: New version 1.1.0 for catala, catala-lsp and catala-format [MERGED] by denismerigoux [GitHub] [needs reporter action]
PR #29293: [new release] lrgrep (0.3) [MERGED] by let-def [GitHub]
PR #29291: Package smtml.0.20.0 [MERGED] by filipeom [GitHub]
PR #29290: dev packages for OCaml 5.6 [MERGED] by Octachron [GitHub]
PR #29289: [new release] react-rules-of-hooks-ppx (1.0.0) [MERGED] by davesnx [GitHub]
PR #29288: [new release] ocamlformat-mlx and ocamlformat-mlx-lib (0.28.1.2) [MERGED] by mlx-automation [GitHub]
PR #29287: [new release] git-kv (2 packages) (0.2.1) [MERGED] by dinosaure [GitHub]
PR #29286: Package ocaml-yescrypt.0.1.1 [MERGED] by khalidbelk [GitHub] [consider for merge]
PR #29285: Package mset.0.1.0 [MERGED] by backtracking [GitHub] [needs reporter action]
PR #29284: miou.0.5.{0,1} are incompatible with Windows (due to poll(3P)) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29283: Package loc.0.3.3 [MERGED] by mbarbin [GitHub]
PR #29282: [new release] miou (0.5.2) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29281: Package ocaml-yescrypt.0.1.0 [CLOSED] by khalidbelk [GitHub]
PR #29280: Package libbinaryen.125.0.0 [MERGED] by ospencer [GitHub]
PR #29279: Package print-table.0.1.3 [MERGED] by mbarbin [GitHub]
PR #29277: [new release] capnp-rpc (3 packages) (2.1.1) [MERGED] by avsm [GitHub] [consider for merge]
PR #29276: Package print-table.0.1.1 [CLOSED] by mbarbin [GitHub]
PR #29275: [new release]: shakuhachi (0.2.0) [MERGED] by EruEri [GitHub]
PR #29274: [new release] opam-repomin (1.0.0) [MERGED] by avsm [GitHub]
PR #29273: [new release] csexp-query (0.1.0) [MERGED] by jberdine [GitHub]
PR #29268: notty-community fails to build on windows [MERGED] by raphael-proust [GitHub]
PR #29267: Package qdrant.0.2.0 [MERGED] by jeong-sik [GitHub]
PR #29266: Add intel_hex.0.2 [CLOSED] by dx3mod [GitHub] [needs reporter action]
PR #29265: [new release] camels (1.0.0) [MERGED] by yomimono [GitHub]
PR #29264: ocaml: update 5.5.0+trunk package [MERGED] by Octachron [GitHub]
PR #29263: 5 packages from gitlab.inria.fr/fpottier/menhir/-/archive/20260122/archive.tar.gz [MERGED] by fpottier [GitHub]
PR #29262: Package dead_code_analyzer.1.1.0 [MERGED] by fantazio [GitHub]
PR #29261: [new release] slipshow (0.8.1) [MERGED] by panglesd [GitHub]
PR #29260: [new release] camels (1.0.0) [CLOSED] by yomimono [GitHub] [question]
PR #29259: 3 packages from codex-semantics-library/codex [MERGED] by mlemerre [GitHub] [needs reporter action]
PR #29258: [new release] reason and rtop (3.17.3) [MERGED] by davesnx [GitHub]
PR #29257: [new release] ezcurl (2 packages) (0.3) [MERGED] by c-cube [GitHub] [consider for merge]
PR #29256: Package shibboleth.0.0.4 [CLOSED] by wizard7377 [GitHub] [needs reporter action]
PR #29255: [new release] passage (0.3.2) [MERGED] by thatportugueseguy [GitHub]
PR #29254: [new release] bstr (3 packages) (0.0.4) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29253: [new release] carton (4 packages) (1.2.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29252: [new release] flux (2 packages) (0.0.1~beta2) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29251: [new release] rowex, bank and bancos (0.0.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29250: [new release] cachet (3 packages) (0.0.4) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29249: [new release] slipshow 0.8.0: Les gnomes voleurs de Slipshow [MERGED] by panglesd [GitHub]
PR #29248: [new release] ambient-context (3 packages) (0.1.1) [MERGED] by c-cube [GitHub]
PR #29247: [new release] patricia-tree (0.12.0) [MERGED] by dlesbre [GitHub]
PR #29246: Package aslref.1.0~draft.2 [MERGED] by HadrienRenaud [GitHub]
PR #29245: Package yultracer.0.2.0 by LaifsV1 [GitHub] [needs reporter action]
PR #29244: Package aslref.1.0~draft.1 [CLOSED] by HadrienRenaud [GitHub]
PR #29242: [new] neo4j_bolt.0.4.0, neo4j_bolt_eio.0.4.0 by jeong-sik [GitHub] [needs reporter action]
PR #29241: [new release] multicore-magic (2 packages) (2.3.2) [MERGED] by polytypic [GitHub]
PR #29240: Package ufind.0.2.0 [MERGED] by sanette [GitHub]
PR #29239: [new release] testo (4 packages) (0.3.4) [MERGED] by mjambon [GitHub]
PR #29238: [new release] testo (4 packages) (0.3.3) [CLOSED] by mjambon [GitHub]
PR #29237: Package ppx_subliner.0.2.2 [MERGED] by bn-d [GitHub]
PR #29236: Remove ppxlib upper bound for ppx_make. [MERGED] by giltho [GitHub]
PR #29235: 4 packages from savonet/liquidsoap-release-assets at 2.4.2 [MERGED] by toots [GitHub]
PR #29234: 2 packages from huml-lang/huml-ml at 0.2.0 [MERGED] by nikochiko [GitHub]
PR #29233: Package restricted-1.2.0 [MERGED] by stopusingghpls [GitHub] [question]
PR #29232: [new release] testo (4 packages) (0.3.2) [CLOSED] by mjambon [GitHub]
PR #29231: [new release] testo (4 packages) (0.3.1) [CLOSED] by mjambon [GitHub]
PR #29230: Add upper bound on ocaml 5.4 to fstar.2025.10.06 [MERGED] by shonfeder [GitHub]
PR #29229: Package qcaml.0.1.7 [MERGED] by elias-utf8 [GitHub]
PR #29228: Add proven.0.9.0 - formally verified safety primitives [CLOSED] by hyperpolymath [GitHub] [needs reporter action]
PR #29227: [new release] styled-ppx (0.61.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #29226: Package aslref.1.0.0-draft [CLOSED] by HadrienRenaud [GitHub]
PR #29225: All kind2 packages <= 2.3.0 are not compatible with Menhir 20260112 [MERGED] by daniel-larraz [GitHub]
PR #29224: Correct `compiler` variable generation in ocaml.5.5.0 [MERGED] by dra27 [GitHub]
PR #29223: [new release] domainpc (0.1) [MERGED] by hra687261 [GitHub]
PR #29222: unionFind + embedded_ocaml_templates [MERGED] by fpottier [GitHub] [consider for merge]
PR #29221: [new release] lambda-term (3.3.3) [MERGED] by kandu [GitHub]
PR #29220: [new release] server-reason-react (0.4.1) [MERGED] by davesnx [GitHub]
PR #29219: add a conflict between mirage-runtime and lwt 6.0.0 [MERGED] by hannesm [GitHub]
PR #29218: Package markdown_monolith.0.1.1 [MERGED] by Durbatuluk1701 [GitHub] [needs reporter action]
PR #29217: [new release] containers (2 packages) (3.17) [MERGED] by c-cube [GitHub]
PR #29216: [new release] dune (17 packages) (3.21.0) [MERGED] by shonfeder [GitHub] [consider for merge]
PR #29215: Package qcaml.0.1.6 [CLOSED] by elias-utf8 [GitHub] [needs reporter action]
PR #29214: Package why3find.1.3.0 [MERGED] by correnson [GitHub]
PR #29213: Add upper bound of dune 3.21 to opam-dune-lint [MERGED] by shonfeder [GitHub]
PR #29212: Release of lmdb.1.1 [MERGED] by madroach [GitHub] [needs reporter action]
PR #29211: 5 packages from gitlab.inria.fr/fpottier/menhir/-/archive/20260112/archive.tar.gz [CLOSED] by fpottier [GitHub]
PR #29210: [new release] miou (0.5.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29209: [new release] passe (0.1.0) [MERGED] by syaiful6 [GitHub] [needs reporter action]
PR #29208: [new release] art (0.3.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #29207: 4 packages from savonet/liquidsoap-release-assets at 2.4.1 [CLOSED] by toots [GitHub]
PR #29206: 14 packages from savonet/ocaml-posix at 4.0.1 [MERGED] by toots [GitHub]
PR #29205: [new release] trace (4 packages) (0.10.1) [MERGED] by c-cube [GitHub]
PR #29204: Package rfsm.2.3 [MERGED] by jserot [GitHub]
PR #29203: Package menhir-lsp.0.2 [MERGED] by dalps [GitHub]
PR #29202: Add new conf-dwarfutils package by ajbt200128 [GitHub] [needs reporter action]
PR #29201: Fit release 1.4.1 [MERGED] by lindig [GitHub]
PR #29200: [new release] quickjs (0.4.2) [MERGED] by davesnx [GitHub]
PR #29199: Package canary.0.0.4 by mabiede [GitHub] [needs reporter action]
PR #29198: Release of expr 0.7.0 [MERGED] by lindig [GitHub]
PR #29197: Package raga.0.1.1 [MERGED] by nikochiko [GitHub]
PR #29196: WIP: possibly mark bitwuzla-cxx.0.{2,3,4}.0 as unavailable by shonfeder [GitHub]
PR #29195: lwt: fix ocamlfind version constraint [MERGED] by raphael-proust [GitHub] [consider for merge]
PR #29194: [new] qdrant.0.1.0 [MERGED] by jeong-sik [GitHub]
PR #29193: [new release] binsec (0.11.0) [MERGED] by recoules [GitHub] [needs reporter action]
PR #29192: camlp4.5.4 requires OCaml >= 5.4.1 on macOS and Windows [MERGED] by kit-ty-kate [GitHub]
PR #29191: 10 packages from ocurrent/ocurrent at 0.7.3 [MERGED] by mtelvers [GitHub]
PR #29190: Change rocq-prover version from 9.0.0 to meta.1 [MERGED] by proux01 [GitHub] [consider for merge]
PR #29189: [new release] dune (17 packages) (3.21.0~alpha5) [CLOSED] by shonfeder [GitHub] [needs reporter action]
PR #29188: Package smtml.0.19.0 [MERGED] by filipeom [GitHub]
PR #29187: Add alice.0.4.0 [MERGED] by gridbugs [GitHub]
PR #29186: server-reason-react incompatible with recent ppxlib [MERGED] by raphael-proust [GitHub] [consider for merge]
PR #29185: osc: avoid-version for old unmaintained version [MERGED] by raphael-proust [GitHub]
PR #29184: 4 packages from ocsigen/lwt at 6.0.0 [MERGED] by raphael-proust [GitHub] [question, consider for merge]
PR #29183: Package metadata.0.3.2 [MERGED] by toots [GitHub]
PR #29182: Package restricted-1.1 [MERGED] by stopusingghpls [GitHub]
PR #29181: [new release] rizzo (0.3.0) [MERGED] by tjobi [GitHub]
PR #29180: Add intel_hex.0.1 [MERGED] by dx3mod [GitHub] [consider for merge]
PR #29179: Package restricted-1.0 [CLOSED] by stopusingghpls [GitHub]
PR #29178: reason-react-ppx: more upper bounds [MERGED] by avsm [GitHub]
PR #29177: Add missing ppxlib upper bounds in reason-react-ppx.0.13.0 and 0.14.0 [MERGED] by jmid [GitHub]
PR #29176: Add gapi-ocaml 0.4.8 [MERGED] by astrada [GitHub]
PR #29175: [new release] neo4j_bolt.0.3.0 [MERGED] by jeong-sik [GitHub]
PR #29174: simple_httpd 1.0.1 [MERGED] by craff [GitHub] [consider for merge]
PR #29173: version 1.0.1 with updated documentation [CLOSED] by craff [GitHub]
PR #29172: Package reason-react-day-picker.0.1 [MERGED] by brianwk [GitHub]
PR #29171: [new] neo4j_bolt.0.2.0 [CLOSED] by jeong-sik [GitHub]
PR #29169: [new release] ocamlformat-mlx and ocamlformat-mlx-lib (0.28.1.1) [MERGED] by mlx-automation [GitHub]
PR #29165: 14 packages from savonet/ocaml-posix at 4.0.0 [CLOSED] by toots [GitHub] [needs reporter action]
PR #29164: Package polymarket.0.2.0 [MERGED] by Haut [GitHub]
PR #29163: 8 packages from savonet/ocaml-ffmpeg at 1.2.8 [MERGED] by toots [GitHub] [needs reporter action]
PR #29162: Cryptokit 1.21.1 [MERGED] by xavierleroy [GitHub] [consider for merge]
PR #29161: conf-taglib_c.2: add a zlib-dev dependency on Alpine [MERGED] by jmid [GitHub] [consider for merge]
PR #29159: [new release] ortools (2 packages) (9.14.0) [MERGED] by tbrk [GitHub] [question, needs reporter action]
PR #29157: otel-cohttp-lwt fix compat error with too-recent cohttp [MERGED] by raphael-proust [GitHub]
PR #29156: avoid oldest version of kinetic-client [MERGED] by raphael-proust [GitHub] [question, consider for merge]
PR #29155: fix cca packages [MERGED] by raphael-proust [GitHub]
PR #29154: simple_httpd 1.0 [MERGED] by craff [GitHub] [needs reporter action]
PR #29151: Package menhir-lsp.0.1.2 [MERGED] by dalps [GitHub]
PR #29148: Cryptokit 1.21 [CLOSED] by xavierleroy [GitHub] [needs reporter action]
PR #29147: 4 packages from ocsigen/lwt at 6.0.0 [CLOSED] by raphael-proust [GitHub]
PR #29145: Add alice.0.3.0 [MERGED] by gridbugs [GitHub] [needs reporter action]
PR #29144: Add memcpy 0.3.0 [MERGED] by yallop [GitHub] [needs reporter action]
PR #29143: Package smtml.0.18.0 [MERGED] by filipeom [GitHub]
PR #29142: Package jupyter.3.0.1 [MERGED] by zhelih [GitHub]
PR #29141: conf-taglib_c.2: Add support for Debian >= 13 [MERGED] by jmid [GitHub]
PR #29140: Package jupyter.3.0.0 [CLOSED] by zhelih [GitHub] [needs reporter action]
PR #29138: Expr 0.6.0 [MERGED] by lindig [GitHub]
PR #29137: Package menhir-lsp.0.1.1 [MERGED] by dalps [GitHub]
PR #29136: [new package]: shakuhachi: 0.1.0 [MERGED] by EruEri [GitHub] [needs reporter action]
PR #29135: Package menhir-lsp.0.1 [CLOSED] by dalps [GitHub]
PR #29134: [new release] mlx and ocamlmerlin-mlx (0.11) [MERGED] by davesnx [GitHub]
PR #29133: Package polymarket.0.1.0 [MERGED] by Haut [GitHub]
PR #29132: [new release] reason-react (2 packages) (0.17.0) [MERGED] by anmonteiro [GitHub] [consider for merge]
PR #29131: [new release] opam-check-npm-deps (4.1.0) [MERGED] by anmonteiro [GitHub]
PR #29129: Add frontmatter_extractor.0.1 [MERGED] by dx3mod [GitHub]
PR #29128: 10 packages from savonet/ocaml-posix at 3.1.0 [CLOSED] by toots [GitHub]
PR #29127: 10 packages from savonet/ocaml-posix at 4.0.0 [CLOSED] by toots [GitHub]
PR #29125: [new release] quickjs (0.4.1) [MERGED] by davesnx [GitHub]
PR #29124: [new release] sail (13 packages) (0.20.1) [MERGED] by Alasdair [GitHub]
PR #29123: 4 packages from c-cube/qcheck at 0.91 [MERGED] by jmid [GitHub] [consider for merge]
PR #29122: pacomb 1.4.1 [MERGED] by craff [GitHub] [needs reporter action]
PR #29120: Package regl.0.1.0 [MERGED] by linsyking [GitHub]
PR #29119: Archiving of DkML packages [MERGED] by jonahbeckford [GitHub]
PR #29118: [new release] lsp (3 packages) (1.25.0) [MERGED] by voodoos [GitHub]
PR #29117: [new release] merlin (4 packages) (5.6.1-504) [MERGED] by voodoos [GitHub] [consider for merge]
PR #29116: [new release] merlin (2 packages) (4.7.1-413) [MERGED] by voodoos [GitHub]
PR #29115: spurs.0.1.1: add a qcheck upper bound [MERGED] by jmid [GitHub]
PR #29114: 5 packages from c-cube/qcheck [MERGED] by jmid [GitHub] [consider for merge]
PR #29113: synchronizer.0.2 [MERGED] by redianthus [GitHub] [needs reporter action]
PR #29112: 4 packages from mirage/ocaml-github at 4.5.1 [MERGED] by kit-ty-kate [GitHub]
PR #29111: [new release] caisar (5.0) by caisar-platform [GitHub] [needs reporter action]
PR #29110: Release LLVM versions 20 and 21 by alan-j-hu [GitHub]
PR #29109: Add upper bound before cohttp-lwt-unix 6.2 [MERGED] by shonfeder [GitHub]
PR #29108: Package menhir-lsp.0.0.1 [MERGED] by dalps [GitHub] [needs reporter action]
PR #29107: Fix conf-ppl support for Centos 9 [MERGED] by jmid [GitHub] [consider for merge]
PR #29105: Fmlib bugfix release 0.6.2 [MERGED] by hbr [GitHub]
PR #29104: Add jasmin.2025.06.3 [MERGED] by eponier [GitHub] [consider for merge]
PR #29103: Fix conf-secp256k1 macOS homebrew support [MERGED] by jmid [GitHub] [consider for merge]
PR #29101: [new release] yocaml (14 packages) (2.8.0) [MERGED] by xvw [GitHub]
PR #29100: [new release] cohttp (14 packages) (6.2.1) [MERGED] by samoht [GitHub] [consider for merge]
PR #29099: fstar.2025.12.15 [MERGED] by mtzguido [GitHub] [needs reporter action]
PR #29098: Package smtml.0.17.0 [MERGED] by filipeom [GitHub]
PR #29097: [new release] albatross (2.6.2) [MERGED] by reynir [GitHub]
PR #29096: [new release] dune (17 packages) (3.21.0~alpha4) [CLOSED] by shonfeder [GitHub]
PR #29095: Package secp256k1.0.5.0 [MERGED] by dakk [GitHub] [consider for merge]
PR #29094: melange.6.0.1-51: require ocaml > 5.1.1 [MERGED] by anmonteiro [GitHub]
PR #29092: 3 packages from codex-semantics-library/codex at 1.0-rc4 [CLOSED] by mlemerre [GitHub] [needs reporter action]
PR #29090: reason: allow cmdliner 2.x [MERGED] by anmonteiro [GitHub]
PR #29089: ocaml-compiler.5.5: Sync the configure options with upstream ocaml/ocaml trunk [MERGED] by kit-ty-kate [GitHub]
PR #29088: Package cairn.2.1 [MERGED] by VincentPenelle [GitHub] [consider for merge]
PR #29087: Add serialport.0.1 [MERGED] by dx3mod [GitHub]
PR #29086: Fix Windows CI (alternative fix) [MERGED] by jmid [GitHub] [consider for merge]
PR #29085: Update OCaml 5.5 packages for Relocatable OCaml [MERGED] by dra27 [GitHub] [consider for merge]
PR #29084: Fix Windows CI [CLOSED] by dra27 [GitHub]
PR #29083: 3 packages from codex-semantics-library/codex [CLOSED] by mlemerre [GitHub] [needs reporter action]
PR #29082: Various OCaml compiler package fixes [MERGED] by dra27 [GitHub]
PR #29081: Package kot.20251212 [MERGED] by fpottier [GitHub]
PR #29080: Update URLs for OCaml compiler package extra-source files [MERGED] by dra27 [GitHub]
PR #29078: Fix CI merge error by disabling windows workflow on pushes to `master` [MERGED] by jmid [GitHub] [consider for merge]
PR #29076: [new release] elpi (3.4.5) [MERGED] by gares [GitHub]
PR #29075: [new release] rpclib (6 packages) (10.0.0) [MERGED] by psafont [GitHub] [question, needs reporter action]
PR #29074: As proposed in #29060, set the default to "(latest)". by hannesm [GitHub] [policy discussion]
PR #29073: archiving.md: Amend the periodic pruning process by kit-ty-kate [GitHub] [policy discussion]
PR #29072: make the immutable policy stricter by hannesm [GitHub] [policy discussion]
PR #29070: [new release] dune (17 packages) (3.21.0~alpha3) [CLOSED] by shonfeder [GitHub]
PR #29069: [new release] doi2bib (2 packages) (0.9.0) [MERGED] by mseri [GitHub] [needs reporter action]
PR #29068: Package matcha.0.1.0 by eldh [GitHub] [needs reporter action]
PR #29067: 3 packages from pirbo/json-data-encoding at 1.1.1 [MERGED] by pirbo [GitHub] [question, consider for merge]
PR #29066: [new release] elpi (3.4.4) [MERGED] by gares [GitHub]
PR #29065: [new release] purl (1.0.0) [MERGED] by hannesm [GitHub]
PR #29064: Mark github-unix as incompatible with yojson 3.0.0 [MERGED] by kit-ty-kate [GitHub]
PR #29062: Bump actions/github-script from 7 to 8 [MERGED] by dependabot[bot] [GitHub] [dependencies, github_actions]
PR #29058: DRAFT: archival process, x-maintenance-run on Dec 9th, scheduled to merge on January 1st 2026 [CLOSED] by hannesm [GitHub] [do not merge]
PR #29057: 3 packages from pirbo/json-data-encoding at 1.1.0 [CLOSED] by pirbo [GitHub]
PR #29056: json-data-encoding uses Yojson.Safe.json < 3 [MERGED] by pirbo [GitHub] [needs reporter action]
PR #29055: [new release] atd (10 packages) (3.0.1) [MERGED] by mjambon [GitHub] [consider for merge]
PR #29054: [new release] atd (10 packages) (3.0.0) [CLOSED] by mjambon [GitHub]
PR #29053: [new release] camlid (0.1) [MERGED] by bobot [GitHub]
PR #29052: Adding maintenance intent to many Ocsigen packages [MERGED] by balat [GitHub]
PR #29045: Maintenance intent for Jane Street packages [MERGED] by dkalinichenko-js [GitHub]
PR #29044: [new release] charrua (4 packages) (3.0.0) [MERGED] by reynir [GitHub]
PR #29043: mirage-kv: add a x-maintenance-intent [MERGED] by hannesm [GitHub]
PR #29042: [new release] dune (17 packages) (3.21.0~alpha2) [CLOSED] by shonfeder [GitHub]
PR #29041: [new release] syslog-rfc5424 (0.2) [MERGED] by vbmithr [GitHub]
PR #29040: Fix upperbound on Jane Street packages [MERGED] by dra27 [GitHub]
PR #29039: Some more preparation for lwt 6 [MERGED] by raphael-proust [GitHub]
PR #29037: Update tyre.1.0 revdeps [MERGED] by EmileTrotignon [GitHub]
PR #29036: Clarify the Windows CI build/host/targets environments [MERGED] by MisterDA [GitHub] [consider for merge]
PR #29035: [new release] prometheus (2 packages) (1.3) [MERGED] by talex5 [GitHub]
PR #29034: fix the syntax for x-maintenance-intent [MERGED] by hannesm [GitHub]
PR #29033: [new release] rizzo (0.2.0) [MERGED] by tjobi [GitHub]
PR #29032: [new release] html_of_jsx (0.0.7) [MERGED] by davesnx [GitHub]
PR #29031: [new release] ppx_parser (0.2.1) [MERGED] by NielsMommen [GitHub] [consider for merge]
PR #29030: [new release] melange-testing-library (0.2.0) [MERGED] by anmonteiro [GitHub] [consider for merge]
PR #29029: [new release] melange-jest (0.2.0) [MERGED] by anmonteiro [GitHub] [consider for merge]
PR #29028: [new release] melange-webapi (0.22.0) [MERGED] by anmonteiro [GitHub] [consider for merge]
PR #29027: [new release] cohttp (14 packages) (6.2.0) [CLOSED] by samoht [GitHub] [needs reporter action]
PR #29026: Package mazeppa.0.7.2 [MERGED] by hirrolot [GitHub]
PR #29024: release tyre.1.0 [MERGED] by EmileTrotignon [GitHub]
PR #29023: Frama-C: new release (32.0-Germanium) [MERGED] by zilbuz [GitHub]
PR #29022: [new release] passage (0.3.1) [MERGED] by thatportugueseguy [GitHub] [consider for merge]
PR #29021: 3 packages from ocurrent/ocaml-dockerfile at 8.3.4 [MERGED] by mtelvers [GitHub]
PR #29020: [new release] passage (0.3.0) [MERGED] by thatportugueseguy [GitHub] [consider for merge]
PR #29019: [new release] quickjs (0.4.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #29018: [new release] sel (0.8.0) [MERGED] by gares [GitHub] [consider for merge]
PR #29017: [new release] coq-lsp (0.2.5+8.20) [MERGED] by ejgallego [GitHub] [consider for merge]
PR #29016: [new release] coq-lsp (0.2.5+9.0) [MERGED] by ejgallego [GitHub] [consider for merge]
PR #29015: [new release] coq-lsp (0.2.5+9.1) [MERGED] by ejgallego [GitHub] [consider for merge]
PR #29014: [new release] quickjs (0.3.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #29013: [new release] rizzo (0.1.0) [MERGED] by tjobi [GitHub] [consider for merge]
PR #29012: Package smtml.0.16.0 [MERGED] by filipeom [GitHub] [consider for merge]
PR #29011: OCaml 5.3.0 pre-releases: mark as unmaintained [MERGED] by hannesm [GitHub] [consider for merge]
PR #29008: [new release] raylib, raygui and raylib-callbacks (1.6.0) [MERGED] by tjammer [GitHub] [needs reporter action]
PR #29006: [new release] server-reason-react (0.4.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #29001: [new release] Melange 6.0.1 [MERGED] by anmonteiro [GitHub] [needs reporter action]
PR #29000: [new release] quickjs (0.2.0) [MERGED] by davesnx [GitHub] [consider for merge]
PR #28999: [new release] reason (2 packages) (3.17.2) [MERGED] by anmonteiro [GitHub] [needs reporter action]
PR #28998: Package xdge.1.0.0 [MERGED] by avsm [GitHub] [consider for merge]
PR #28997: [new release] hxd (0.3.6) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28996: [new release] arc (0.0.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28995: [new release] dmarc (2 packages) (0.0.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28993: Add a ppx_repr upper bound for ppx_irmin 3.0.0-3.11.0 [MERGED] by jmid [GitHub] [consider for merge]
PR #28992: [new release] colombe (6 packages) (0.12.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28991: [new release] mrmime (0.7.1) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28990: Release melange-fetch.0.2.0 [MERGED] by davesnx [GitHub] [question, consider for merge]
PR #28989: Add a failure post-message for conf-libpcre on Centos 10 and OpenSUSE Tumbleweed [MERGED] by jmid [GitHub] [consider for merge]
PR #28988: [new release] rosetta (0.4.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28987: [new release] coin (0.1.5) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28986: Add ubuntu-family distribution support to lmdb.1.0 [MERGED] by jmid [GitHub] [consider for merge]
PR #28985: [new release] uuuu (0.4.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28984: [new release] prettym (0.0.4) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28983: 9 packages from bensmrs/gendarme at 0.4.0 [MERGED] by bensmrs [GitHub] [consider for merge]
PR #28982: [new release] dkim (4 packages) (0.9.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28980: [new release] uspf (3 packages) (0.2.0) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28979: [new release] goblint (2.7.1) [MERGED] by sim642 [GitHub] [consider for merge]
PR #28978: 8 packages from ocaml/opam at 2.5.0 [MERGED] by kit-ty-kate [GitHub] [consider for merge]
PR #28977: [new release] goblint (2.7.0) [CLOSED] by sim642 [GitHub]
PR #28976: Add epel-release depext to conf-age for Centos [MERGED] by jmid [GitHub] [consider for merge]
PR #28975: 2 packages from rocq-prover/vsrocq at 2.3.4 [MERGED] by vscoqbot [GitHub] [question, needs reporter action]
PR #28974: Add an OCaml 5.4.0 upper bound on bogue.20250224 [MERGED] by jmid [GitHub] [consider for merge]
PR #28973: Add an OCaml 5.4.0 upper bound on why3 1.6.0-1.8.0 [MERGED] by jmid [GitHub] [consider for merge]
PR #28972: Add a missing cmdliner.2.0.0 upper bound for runtime_event_tools* [MERGED] by jmid [GitHub] [consider for merge]
PR #28971: Add an OCaml 5.4.0 upper bound on boltzgen.0.9.5 [MERGED] by jmid [GitHub] [consider for merge]
PR #28970: [new release] slipshow (0.7.0) [MERGED] by panglesd [GitHub] [consider for merge]
PR #28969: [new release] passage (0.2.0) [CLOSED] by thatportugueseguy [GitHub] [needs reporter action]
PR #28968: Add conf-libclang 19 [MERGED] by mseri [GitHub] [consider for merge]
PR #28967: 2 packages from kit-ty-kate/opam-build at 0.3.0 [MERGED] by kit-ty-kate [GitHub]
PR #28965: [new release] ocamlmig (5.4-20251020) [MERGED] by v-gb [GitHub] [consider for merge]
PR #28964: Release ocaml-solo5 and ocaml-solo5-cross-aarch64 1.2.0 [MERGED] by hannesm [GitHub] [consider for merge]
PR #28963: [new release] repr (4 packages) (0.8.0) [MERGED] by samoht [GitHub] [consider for merge]
PR #28962: Add: cmdliner.2.1.0 [MERGED] by dbuenzli [GitHub] [consider for merge]
PR #28961: Update the repo file's announcement following the release of opam 2.5.0 [MERGED] by kit-ty-kate [GitHub] [consider for merge]
PR #28960: Fix avro-simple project meta-data [MERGED] by tmcgilchrist [GitHub] [consider for merge]
PR #28959: Fix shcaml.0.2.1 when in presence of topkg >= 1.1.0 [MERGED] by kit-ty-kate [GitHub] [consider for merge]
PR #28958: [new release] query-json (0.6.1) [MERGED] by davesnx [GitHub] [consider for merge]
PR #28957: Package smtml.0.15.0 [MERGED] by filipeom [GitHub] [consider for merge]
PR #28955: [new release] query-json (0.6.0) [CLOSED] by davesnx [GitHub] [needs reporter action]
PR #28954: [new release] dream-html (2 packages) (3.11.2) [MERGED] by yawaramin [GitHub] [question, consider for merge]
PR #28951: 5 packages from benfaerber/liquid-ml at 0.1.3 [MERGED] by benfaerber [GitHub] [consider for merge]
PR #28950: Add conf-libclang.21 using a generic configure script [MERGED] by jmid [GitHub] [consider for merge]
PR #28949: Package mazeppa.0.7.0 [MERGED] by hirrolot [GitHub] [consider for merge]
PR #28947: Package mazeppa.0.6.2 [CLOSED] by hirrolot [GitHub]
PR #28946: Package mazeppa.0.6.1 [CLOSED] by hirrolot [GitHub]
PR #28945: Fix MSys2 side-conditions for conf-packages, part 3/3 [MERGED] by jmid [GitHub] [consider for merge]
PR #28944: Fix MSys2 side-conditions for conf-packages, part 2/3 [MERGED] by jmid [GitHub] [consider for merge]
PR #28943: Bump actions/checkout from 5 to 6 [MERGED] by dependabot[bot] [GitHub] [consider for merge, dependencies, github_actions]
PR #28942: [new release] mirage (2 packages) (4.10.4) [MERGED] by reynir [GitHub] [consider for merge]
PR #28941: Add alice.0.1.1 [MERGED] by gridbugs [GitHub] [consider for merge]
PR #28940: Package msvs-detect.0.8.0 [MERGED] by dra27 [GitHub] [consider for merge]
PR #28939: Fix MSys2 side-conditions for conf-packages, part 1/3 [MERGED] by jmid [GitHub] [consider for merge]
PR #28938: Package azure-cosmos-db.0.3.2 [MERGED] by mknaack [GitHub] [question, consider for merge]
PR #28937: [new release] hol2dk (2.1.0) [MERGED] by fblanqui [GitHub] [consider for merge]
PR #28936: [new release] qcow (4 packages) (0.12.2) [MERGED] by psafont [GitHub] [consider for merge]
PR #28935: [new release] flint (0.4.2) [MERGED] by bobot [GitHub] [consider for merge]
PR #28933: [new release] bstr (3 packages) (0.0.3) [MERGED] by dinosaure [GitHub] [consider for merge]
PR #28932: Add jasmin.2025.06.2 [MERGED] by eponier [GitHub] [consider for merge]
PR #28931: lmdb depext on nixos [MERGED] by RyanGibb [GitHub] [question]
PR #28929: [new release] goblint-cil (2.0.9) [MERGED] by sim642 [GitHub] [consider for merge]
PR #28928: 8 packages from ocaml/opam at 2.5.0~rc1 [MERGED] by kit-ty-kate [GitHub] [consider for merge]
PR #28926: Package soupault.5.2.0 [MERGED] by dmbaturin [GitHub] [consider for merge]
PR #28919: [new release] yocaml (14 packages) (2.7.0) [MERGED] by xvw [GitHub] [consider for merge]
PR #28917: [new release] salto-analyzer (0.2) [MERGED] by esope [GitHub] [consider for merge]
PR #28914: chore: update gappa to version 1.6.0 [MERGED] by Justme0606 [GitHub] [consider for merge]
PR #28911: Release diffast v0.3.6 [MERGED] by codinuum [GitHub] [needs reporter action, consider for merge]
PR #28910: [new release] avro-simple (0.1) [MERGED] by tmcgilchrist [GitHub] [consider for merge]
PR #28907: Package crowbar.0.2.2 [MERGED] by stedolan [GitHub] [consider for merge]
PR #28903: Package coq-waterproof.3.1.0+9.1 [MERGED] by jim-portegies [GitHub]
PR #28902: [new release] ocaml-protoc (4 packages) (4.0) [MERGED] by c-cube [GitHub] [consider for merge]
PR #28894: 4 packages from ocsigen/lwt at 6.0.0-beta01 [MERGED] by raphael-proust [GitHub] [needs reporter action]
PR #28882: 6 packages from zoggy.frama.io/ojs-base/releases/ojs-base-0.9.0.tar.bz2 [MERGED] by zoggy [GitHub] [question, consider for merge]
PR #28867: [new release] reason (2 packages) (3.17.1) [CLOSED] by anmonteiro [GitHub] [needs reporter action]
PR #28866: [new release] Melange 6.0.0 [CLOSED] by anmonteiro [GitHub] [question, consider for merge]
PR #28856: Teach `x-ci-accept-failures` to Windows CI tests by shym [GitHub] [new opam-repository maintainer question]
PR #28849: [MLCUDDIDL] supports 5.0 by removing modules [MERGED] by bobot [GitHub] [needs reporter action]
PR #28843: frama-clang Version 0.0.19~beta [CLOSED] by frama-ci-bot [GitHub] [question, needs reporter action]
PR #28841: frama-c-metacsl Version 0.10~beta [MERGED] by frama-ci-bot [GitHub] [consider for merge]
PR #28827: [new release] raven (11 packages) (1.0.0~alpha2) [MERGED] by tmattio [GitHub] [consider for merge]
PR #28777: Package otp.0.2 [CLOSED] by Heyji2 [GitHub] [needs reporter action]
PR #28521: update: chess_com_api, lichess_api, pgn_parser 1.0.2 by Ckaf [GitHub] [needs reporter action]
PR #28495: Add upper bound on efl.1.24.0 by mtelvers [GitHub] [needs reporter action]
PR #28485: Package omni-irc.v0.1.12-1-g01e9475 by jesse-greathouse [GitHub] [needs reporter action]
PR #28455: Add ocaml-system for 5.4.0 and 5.5.0 with support for dev/alpha/beta versions by kit-ty-kate [GitHub] [do not merge]
PR #28419: Package cvc5.1.3.0-1 [CLOSED] by joaomhmpereira [GitHub] [needs reporter action]
PR #28348: repo: Set archive-mirrors to opam.ocaml.org's cache by kit-ty-kate [GitHub] [needs admin action, do not merge]
PR #28291: [new release] archive (2 packages) (3.7.2+6) by gildor478 [GitHub] [needs reporter action]
PR #28262: Add alpine to libbpf availability by patricoferris [GitHub] [needs reporter action]
PR #27920: Package ocaml-fsrs.0.1.0-alpha3 by chaosarium [GitHub] [needs reporter action]
PR #27798: 2 conf-files, one for the magick-core lib with the major version 6, and a second one for 7 by fccm2 [GitHub]
PR #27694: UPDATE Pds to 6.55 by orbitz [GitHub] [needs reporter action]
PR #27642: remove rust-llvm depext for conf-rust-llvm in ubuntu by redianthus [GitHub] [needs reporter action]
PR #27360: release ocaml-rocksdb-0.02 by chetmurthy [GitHub] [needs reporter action]
PR #26991: Add new conf-gcc-multilib package by sim642 [GitHub] [needs reporter action]
PR #26907: Draft: Fix apron homebrew by clebreto [GitHub]
PR #26906: Draft: Fix gmp homebrew by clebreto [GitHub] [needs reporter action]
PR #25889: [package update] Autogenerated conf-libclang packages for LLVM upto 18.0 by thierry-martinez [GitHub] [needs reporter action]
PR #25002: New LLVM 16 release to fix Homebrew installing zstd in nonstandard location by alan-j-hu [GitHub] [needs reporter action]
PR #24267: Remove all R scripts that require to disable the sandbox by kit-ty-kate [GitHub] [policy discussion]
PR #23309: new file: packages/odnnr/odnnr.2.0.3/opam by UnixJunkie [GitHub] [question, needs opam-repository maintainer action]