dev-ml/menhir – Gentoo Packages

Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
dev-lang/elpi-1.17.4
dev-lang/elpi-1.18.2
dev-ml/atd-2.15.0
dev-ml/coq-menhirlib-20240715
dev-ml/dune-configurator-2.9.1
dev-ml/dune-private-libs-2.9.1
dev-ml/dune-private-libs-2.9.3
dev-ml/jingoo-1.4.2
dev-ml/jingoo-1.4.4
dev-ml/jingoo-1.5.0
dev-ml/merlin-4.13-r4
dev-ml/merlin-4.13-r5
dev-ml/merlin-4.14-r1
dev-ml/reason-3.12.0
dev-ml/reason-3.13.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-for-spark-2021-r1

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: