8|dev-lang/elpi|dev-lang/elpi-1.19.6-r1|2.0.7|ml@gentoo.org:sci-mathematics@gentoo.org
8|dev-lang/neko|dev-lang/neko-2.4.0-r2|2.4.1|ml@gentoo.org
8|dev-lang/ocaml|dev-lang/ocaml-5.3.0-r1|5.4.0|ml@gentoo.org
8|dev-lang/polyml|dev-lang/polyml-5.9.1|5.9.2-r1|ml@gentoo.org
8|dev-lang/smlnj|dev-lang/smlnj-110.99.6.1|110.99.9|ml@gentoo.org
8|dev-ml/alcotest|dev-ml/alcotest-1.7.0-r1|1.8.0|fogti@ytrizja.de:ml@gentoo.org
8|dev-ml/atd|dev-ml/atd-2.15.0|2.16.0-r1|ml@gentoo.org
8|dev-ml/batteries|dev-ml/batteries-3.9.0|3.10.0|ml@gentoo.org
7|dev-ml/bigarray-compat|dev-ml/bigarray-compat-1.0.0|1.1.0|ml@gentoo.org
7|dev-ml/camomile|dev-ml/camomile-1.0.2|2.0.0|ml@gentoo.org
8|dev-ml/charinfo_width|dev-ml/charinfo_width-1.1.0-r1|2.0.0|ml@gentoo.org
8|dev-ml/cmdliner|dev-ml/cmdliner-2.0.0|2.1.0|ml@gentoo.org
8|dev-ml/core_unix|dev-ml/core_unix-0.17.0|0.17.1|ml@gentoo.org
7|dev-ml/cppo|dev-ml/cppo-1.6.7-r1|1.7.0,1.8.0|ml@gentoo.org
7|dev-ml/cppo|dev-ml/cppo-1.6.8-r1|1.6.9-r1,1.7.0,1.8.0|ml@gentoo.org
7|dev-ml/cppo|dev-ml/cppo-1.6.9-r1|1.7.0,1.8.0|ml@gentoo.org
8|dev-ml/cppo|dev-ml/cppo-1.7.0|1.8.0|ml@gentoo.org
8|dev-ml/cryptokit|dev-ml/cryptokit-1.19|1.20.1|ml@gentoo.org
8|dev-ml/curses|dev-ml/curses-1.0.10|1.0.11|ml@gentoo.org
8|dev-ml/dune-build-info|dev-ml/dune-build-info-3.16.1|3.18.1,3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune-build-info|dev-ml/dune-build-info-3.18.1|3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune-build-info|dev-ml/dune-build-info-3.19.1|3.20.2|ml@gentoo.org
8|dev-ml/dune-configurator|dev-ml/dune-configurator-3.16.1|3.17.1,3.18.1,3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune-configurator|dev-ml/dune-configurator-3.17.1|3.18.1,3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune-configurator|dev-ml/dune-configurator-3.18.1|3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune-configurator|dev-ml/dune-configurator-3.19.1|3.20.2|ml@gentoo.org
8|dev-ml/dune|dev-ml/dune-3.17.2|3.18.1,3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune|dev-ml/dune-3.18.1|3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune|dev-ml/dune-3.19.1|3.20.2|ml@gentoo.org
8|dev-ml/dune-private-libs|dev-ml/dune-private-libs-3.18.1|3.19.0|ml@gentoo.org
8|dev-ml/dune-site|dev-ml/dune-site-3.16.1|3.18.1,3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune-site|dev-ml/dune-site-3.18.1|3.19.1,3.20.2|ml@gentoo.org
8|dev-ml/dune-site|dev-ml/dune-site-3.19.1|3.20.2|ml@gentoo.org
8|dev-ml/extlib|dev-ml/extlib-1.7.9-r1|1.8.0|ml@gentoo.org
7|dev-ml/fieldslib|dev-ml/fieldslib-0.15.0|0.16.0|ml@gentoo.org
8|dev-ml/findlib|dev-ml/findlib-1.9.8|1.9.8-r1|ml@gentoo.org
7|dev-ml/fix|dev-ml/fix-20220121|20230505,20250428,20250919|ml@gentoo.org
8|dev-ml/fix|dev-ml/fix-20230505|20250428,20250919|ml@gentoo.org
8|dev-ml/fix|dev-ml/fix-20250428|20250919|ml@gentoo.org
8|dev-ml/gapi-ocaml|dev-ml/gapi-ocaml-0.4.5|0.4.6|ml@gentoo.org
7|dev-ml/lambda-term|dev-ml/lambda-term-3.1.0|3.3.1-r1,3.3.2|ml@gentoo.org
8|dev-ml/lambda-term|dev-ml/lambda-term-3.3.1-r1|3.3.2|ml@gentoo.org
8|dev-ml/logs|dev-ml/logs-0.8.0|0.9.0|ml@gentoo.org
8|dev-ml/lwt|dev-ml/lwt-5.9.1-r1|5.9.2|ml@gentoo.org
7|dev-ml/lwt_log|dev-ml/lwt_log-1.1.1-r1|1.1.2|ml@gentoo.org
7|dev-ml/lwt_ssl|dev-ml/lwt_ssl-1.1.3|1.2.0|ml@gentoo.org
8|dev-ml/merlin|dev-ml/merlin-5.5|5.6|ml@gentoo.org
8|dev-ml/merlin-extend|dev-ml/merlin-extend-0.6.1|0.6.2|ml@gentoo.org
7|dev-ml/merlin-extend|dev-ml/merlin-extend-0.6-r1|0.6.1,0.6.2|ml@gentoo.org
7|dev-ml/mirage-clock|dev-ml/mirage-clock-3.1.0|4.2.0|ml@gentoo.org
7|dev-ml/mtime|dev-ml/mtime-1.2.0|1.4.0,2.0.0,2.1.0|ml@gentoo.org
7|dev-ml/mtime|dev-ml/mtime-1.4.0|2.0.0,2.1.0|ml@gentoo.org
8|dev-ml/mtime|dev-ml/mtime-2.0.0|2.1.0|ml@gentoo.org
7|dev-ml/ocaml-compiler-libs|dev-ml/ocaml-compiler-libs-0.12.3-r2|0.12.4-r2|ml@gentoo.org
8|dev-ml/ocaml-crunch|dev-ml/ocaml-crunch-3.3.1|4.0.0|ml@gentoo.org
8|dev-ml/ocaml_intrinsics|dev-ml/ocaml_intrinsics-0.15.2|0.16.0|ml@gentoo.org
7|dev-ml/ocaml-migrate-parsetree|dev-ml/ocaml-migrate-parsetree-2.1.0|2.2.0,2.4.0-r1|ml@gentoo.org
7|dev-ml/ocaml-migrate-parsetree|dev-ml/ocaml-migrate-parsetree-2.2.0|2.4.0-r1|ml@gentoo.org
7|dev-ml/ocaml-migrate-parsetree|dev-ml/ocaml-migrate-parsetree-2.3.0|2.4.0-r1|ml@gentoo.org
7|dev-ml/ocamlnet|dev-ml/ocamlnet-4.1.8-r2|4.1.9-r2|ml@gentoo.org
7|dev-ml/ocaml-sha|dev-ml/ocaml-sha-1.15.1|1.15.2,1.15.4|ml@gentoo.org
8|dev-ml/ocaml-sha|dev-ml/ocaml-sha-1.15.2|1.15.4|ml@gentoo.org
8|dev-ml/ocaml-ssl|dev-ml/ocaml-ssl-0.5.13-r1|0.7.0|ml@gentoo.org
7|dev-ml/ocaml-stdint|dev-ml/ocaml-stdint-0.7.0|0.7.2-r1|ml@gentoo.org
7|dev-ml/ocplib-endian|dev-ml/ocplib-endian-1.1-r1|1.2|ml@gentoo.org
7|dev-ml/ocplib-simplex|dev-ml/ocplib-simplex-0.4.1|0.5.1|ml@gentoo.org
7|dev-ml/ocurl|dev-ml/ocurl-0.9.1-r1|0.9.2-r2|ml@gentoo.org
8|dev-ml/odoc|dev-ml/odoc-2.4.3-r1|2.4.4,3.1.0|ml@gentoo.org
8|dev-ml/odoc|dev-ml/odoc-2.4.4|3.1.0|ml@gentoo.org
8|dev-ml/opam-file-format|dev-ml/opam-file-format-2.1.5|2.1.6|ml@gentoo.org
8|dev-ml/ounit2|dev-ml/ounit2-2.2.6|2.2.7-r1|ml@gentoo.org
8|dev-ml/pprint|dev-ml/pprint-20220103|20230830|ml@gentoo.org
8|dev-ml/ppx_blob|dev-ml/ppx_blob-0.7.2|0.8.0,0.9.0|ml@gentoo.org
8|dev-ml/ppx_blob|dev-ml/ppx_blob-0.8.0|0.9.0|ml@gentoo.org
8|dev-ml/ppx_deriving|dev-ml/ppx_deriving-6.0.3-r1|6.1.0,6.1.1|ml@gentoo.org
8|dev-ml/ppx_deriving|dev-ml/ppx_deriving-6.1.0|6.1.1|ml@gentoo.org
8|dev-ml/ppx_deriving_yojson|dev-ml/ppx_deriving_yojson-3.9.0|3.10.0|ml@gentoo.org
8|dev-ml/ppx_ignore_instrumentation|dev-ml/ppx_ignore_instrumentation-0.15.0-r1|0.16.0|ml@gentoo.org
8|dev-ml/ppx_import|dev-ml/ppx_import-1.10.0|1.11.0|ml@gentoo.org
8|dev-ml/ppx_import|dev-ml/ppx_import-1.9.1-r1|1.10.0,1.11.0|ml@gentoo.org
8|dev-ml/ppxlib|dev-ml/ppxlib-0.22.2-r4|0.30.0-r2|ml@gentoo.org
8|dev-ml/ppxlib|dev-ml/ppxlib-0.24.0-r2|0.30.0-r2|ml@gentoo.org
8|dev-ml/ppxlib|dev-ml/ppxlib-0.33.0-r2|0.36.2-r1|ml@gentoo.org
8|dev-ml/ppxlib_jane|dev-ml/ppxlib_jane-0.17.0-r1|0.17.2-r1,0.17.4|ml@gentoo.org
8|dev-ml/ppx_pipebang|dev-ml/ppx_pipebang-0.15.0-r1|0.16.0|ml@gentoo.org
8|dev-ml/ptime|dev-ml/ptime-1.1.0|1.2.0|ml@gentoo.org
8|dev-ml/reason|dev-ml/reason-3.17.0|3.17.2|ml@gentoo.org
8|dev-ml/re|dev-ml/re-1.11.0-r1|1.13.0-r2,1.13.3-r2|ml@gentoo.org
8|dev-ml/re|dev-ml/re-1.12.0|1.13.0-r2,1.13.3-r2,1.14.0|ml@gentoo.org
8|dev-ml/re|dev-ml/re-1.13.0-r2|1.13.3-r2|ml@gentoo.org
8|dev-ml/sexplib0|dev-ml/sexplib0-0.15.0-r2|0.15.1-r1,0.16.0|ml@gentoo.org
8|dev-ml/sexplib0|dev-ml/sexplib0-0.15.1-r1|0.16.0|ml@gentoo.org
7|dev-ml/spawn|dev-ml/spawn-0.13.0|0.15.1|ml@gentoo.org
7|dev-ml/spawn|dev-ml/spawn-0.15.0-r1|0.15.1,0.17.0|ml@gentoo.org
8|dev-ml/spdx_licenses|dev-ml/spdx_licenses-1.2.0|1.4.0|ml@gentoo.org
8|dev-ml/stdcompat|dev-ml/stdcompat-19-r2|21.1-r1|ml@gentoo.org
8|dev-ml/tiny_httpd|dev-ml/tiny_httpd-0.16-r1|0.17.0,0.19|ml@gentoo.org
8|dev-ml/tiny_httpd|dev-ml/tiny_httpd-0.17.0|0.19|ml@gentoo.org
8|dev-ml/topkg|dev-ml/topkg-1.0.8|1.1.0,1.1.1|ml@gentoo.org
8|dev-ml/topkg|dev-ml/topkg-1.1.0|1.1.1|ml@gentoo.org
8|dev-ml/tyxml|dev-ml/tyxml-4.5.0|4.6.0|ml@gentoo.org
7|dev-ml/uuidm|dev-ml/uuidm-0.9.7|0.9.8|ml@gentoo.org
8|dev-ml/uuidm|dev-ml/uuidm-0.9.9|0.9.10|ml@gentoo.org
8|dev-ml/uuseg|dev-ml/uuseg-15.0.0|16.0.0,17.0.0|ml@gentoo.org
8|dev-ml/uuseg|dev-ml/uuseg-16.0.0|17.0.0|ml@gentoo.org
8|dev-ml/xdg|dev-ml/xdg-3.16.1|3.20.2|ml@gentoo.org
8|dev-ml/zed|dev-ml/zed-3.2.2-r1|3.2.3|ml@gentoo.org
8|dev-ml/zmq|dev-ml/zmq-5.2.1|5.3.0|ml@gentoo.org
8|dev-util/coccinelle|dev-util/coccinelle-1.1.1-r6|1.3.0|ml@gentoo.org
8|dev-util/patdiff|dev-util/patdiff-0.16.0|0.17.0|ml@gentoo.org
8|sci-mathematics/easycrypt|sci-mathematics/easycrypt-2025.10|2025.11|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/proverif|sci-mathematics/proverif-2.04-r1|2.05|ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/why3|sci-mathematics/why3-1.6.0|1.7.2,1.8.0,1.8.1,1.8.2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/why3|sci-mathematics/why3-1.7.2|1.8.0,1.8.1,1.8.2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/why3|sci-mathematics/why3-1.8.0|1.8.1,1.8.2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/why3|sci-mathematics/why3-1.8.1|1.8.2|fx.carton91@gmail.com:ml@gentoo.org:sci-mathematics@gentoo.org