dev-ml/atd-2.15.0
dev-ml/gapi-ocaml-0.4.4
dev-ml/gapi-ocaml-0.4.5
dev-ml/merlin-4.14-r1
dev-ml/ppx_deriving_yojson-3.6.1-r1
dev-ml/ppx_deriving_yojson-3.7.0
dev-ml/ppx_deriving_yojson-3.8.0
dev-ml/ppx_deriving_yojson-3.9.0
sci-mathematics/coq-serapi-0.20.0
sci-mathematics/easycrypt-2024.09
sci-mathematics/easycrypt-2025.02
sci-mathematics/kind2-1.9.0
sci-mathematics/why3-for-spark-2021-r1
sci-mathematics/why3-for-spark-2023.12.13-r2
