Open Pull Requests
Showing 334 pull requests. View current baseline status (64cd1a4d)
- PR #29277: [new release] capnp-rpc (3 packages) (2.1.1) by avsm [GitHub]
- PR #29276: Package print-table.0.1.1 by mbarbin [GitHub]
- PR #29275: [new release]: shakuhachi (0.2.0) by EruEri [GitHub]
- PR #29274: [new release] opam-repomin (1.0.0) 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 by dx3mod [GitHub]
- 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 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 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) by c-cube [GitHub]
- PR #29256: Package shibboleth.0.0.4 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) by dinosaure [GitHub] [needs reporter action]
- 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) by c-cube [GitHub]
- PR #29247: [new release] patricia-tree (0.12.0) 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 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 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 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 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 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 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 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]