dev-lang/elpi-1.19.6
dev-ml/atd-2.15.0
dev-ml/coq-menhirlib-20240715
dev-ml/dune-configurator-2.9.1:test
dev-ml/jingoo-1.4.2
dev-ml/jingoo-1.4.4
dev-ml/jingoo-1.5.0
dev-ml/merlin-4.14-r1
dev-ml/reason-3.14.0
dev-ml/reason-3.15.0
dev-util/coccinelle-1.1.1-r5
sci-mathematics/alt-ergo-2.4.3-r2
sci-mathematics/kind2-1.9.0
sci-mathematics/psmt2-frontend-0.4.0
sci-mathematics/why3-1.6.0
sci-mathematics/why3-1.7.2
sci-mathematics/why3-1.8.0
sci-mathematics/why3-for-spark-2021-r1
sci-mathematics/why3-for-spark-2023.12.13-r2
