app-misc/geneweb-7.0.1_alpha2-r1
dev-ml/batteries-3.6.0-r1
dev-ml/batteries-3.6.1
dev-ml/batteries-3.8.0
dev-ml/sexplib-0.14.0-r1
dev-ml/sexplib-0.15.1-r2
dev-ml/sexplib-0.16.0-r1
dev-ml/sexplib-0.17.0
net-misc/sks-1.1.6_p20200624-r2
net-p2p/mldonkey-3.1.7-r4:bittorrent
net-p2p/mldonkey-3.2.1:bittorrent
sci-calculators/orpie-1.6.1
sci-mathematics/alt-ergo-2.4.3-r2
sci-mathematics/coq-8.17.1
sci-mathematics/coq-8.19.2
sci-mathematics/coq-8.20.0
sci-mathematics/cubicle-1.2.0-r2
sci-mathematics/easycrypt-2024.09
sci-mathematics/easycrypt-2025.02
sci-mathematics/kind2-1.9.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
