dev-ml/camlp5-8.02.00-r1
dev-ml/ocaml-inifiles-1.2
dev-ml/ocamlnet-4.1.8-r1:pcre
dev-ml/ocamlnet-4.1.9-r1:pcre
dev-util/coccinelle-1.1.1-r5:pcre
dev-util/patdiff-0.14.0-r2
dev-util/patdiff-0.15.0
sci-mathematics/easycrypt-2024.09
sci-mathematics/easycrypt-2025.02
