app-misc/geneweb-7.0.0_p1-r2
app-misc/geneweb-7.0.1_alpha2-r1
dev-lang/elpi-1.19.6
dev-ml/alcotest-1.4.0-r1
dev-ml/alcotest-1.5.0-r3
dev-ml/alcotest-1.7.0
dev-ml/alcotest-1.7.0-r1
dev-ml/alcotest-1.8.0
dev-ml/atd-2.15.0
dev-ml/camlp5-8.02.00-r1
dev-ml/camlp5-8.03.00
dev-ml/camlp5-8.03.01
dev-ml/cinaps-0.15.1-r1
dev-ml/core_bench-0.14.0
dev-ml/core_unix-0.16.0-r1
dev-ml/dose3-7.0.0
dev-ml/dose3-7.0.0-r1
dev-ml/expect_test_helpers_core-0.17.0
dev-ml/jingoo-1.4.2
dev-ml/jingoo-1.4.4
dev-ml/jingoo-1.5.0
dev-ml/opam-2.1.6
dev-ml/opam-2.2.1
dev-ml/opam-common-2.2.1
dev-ml/opam-installer-2.2.1
dev-ml/ppx_expect-0.14.0
dev-ml/ppx_expect-0.14.1
dev-ml/ppx_expect-0.14.2
dev-ml/ppx_expect-0.15.0-r1
dev-ml/ppx_expect-0.15.1-r1
dev-ml/ppx_expect-0.16.0
dev-ml/ppxlib-0.21.0-r5:test
dev-ml/ppxlib-0.22.0-r5:test
dev-ml/ppxlib-0.22.2-r4:test
dev-ml/ppxlib-0.24.0-r2:test
dev-ml/ppxlib-0.29.0-r2:test
dev-ml/ppxlib-0.29.1-r2:test
dev-ml/ppxlib-0.30.0-r2:test
dev-ml/sexp_pretty-0.15.0-r1
dev-ml/sexp_pretty-0.15.1-r1
dev-ml/sexp_pretty-0.16.0
dev-ml/sexp_pretty-0.17.0
dev-ml/tyxml-4.5.0
dev-ml/tyxml-4.6.0
dev-util/patdiff-0.14.0-r2
sci-mathematics/why3-1.6.0:re
sci-mathematics/why3-1.7.2:re
sci-mathematics/why3-1.8.0:re
sci-mathematics/why3-for-spark-2023.12.13-r2
