app-misc/geneweb-7.0.1_alpha2-r1
dev-lang/haxe-4.3.6-r2
dev-ml/0install-2.18-r1
dev-ml/astring-0.8.5
dev-ml/bos-0.2.1
dev-ml/dose3-7.0.0
dev-ml/dose3-7.0.0-r1
dev-ml/fmt-0.8.9-r1
dev-ml/fmt-0.9.0
dev-ml/fpath-0.7.3
dev-ml/hmap-0.8.1
dev-ml/llvm-15.0.7
dev-ml/llvm-16.0.6
dev-ml/llvm-17.0.6
dev-ml/llvm-18.1.8
dev-ml/llvm-19.1.4
dev-ml/llvm-19.1.7
dev-ml/llvm-20.1.0_rc2
dev-ml/llvm-21.0.0_pre20250211
dev-ml/llvm-21.0.0_pre20250215
dev-ml/llvm-21.0.0_pre20250221
dev-ml/llvm-21.0.0_pre20250225
dev-ml/llvm-21.0.0.9999
dev-ml/logs-0.7.0-r1
dev-ml/lwt-5.3.0-r1
dev-ml/lwt-5.7.0
dev-ml/lwt-5.8.0
dev-ml/lwt-5.9.0
dev-ml/merlin-4.14-r1
dev-ml/num-1.3-r1
dev-ml/ocaml-augeas-0.6
dev-ml/opam-2.2.1
dev-ml/opam-common-2.2.1
dev-ml/opam-installer-2.2.1
dev-ml/ppxlib-0.32.1:test
dev-ml/ppxlib-0.33.0:test
dev-ml/stdcompat-19-r1
dev-ml/utop-2.12.1
dev-ml/utop-2.14.0-r1
dev-ml/utop-2.15.0
dev-ml/uuidm-0.9.7
dev-ml/uuidm-0.9.8
dev-ml/uuidm-0.9.9
dev-ml/uunf-15.0.0
dev-ml/uunf-15.1.0-r1
dev-ml/uunf-16.0.0
dev-ml/uuseg-15.0.0
dev-ml/uuseg-15.1.0
dev-ml/uuseg-16.0.0
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/gappalib-coq-1.5.2-r1
sci-mathematics/gappalib-coq-1.5.3
