dev-ml/ppx_sexp_conv – Gentoo Packages

Packages

Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
dev-ml/base_quickcheck-0.16.0
dev-ml/base_quickcheck-0.17.1
dev-ml/bin_prot-0.15.0-r3
dev-ml/bin_prot-0.16.0
dev-ml/bin_prot-0.17.0-r1
dev-ml/core-0.17.1-r1
dev-ml/core_bench-0.17.0
dev-ml/core_kernel-0.16.0
dev-ml/cstruct-6.2.0-r1
dev-ml/jst-config-0.15.1-r1
dev-ml/jst-config-0.16.0
dev-ml/ppx_assert-0.15.0-r1
dev-ml/ppx_assert-0.16.0
dev-ml/ppx_assert-0.17.0-r1
dev-ml/ppx_base-0.16.0-r1
dev-ml/ppx_base-0.17.0
dev-ml/ppx_custom_printf-0.15.0-r1
dev-ml/ppx_custom_printf-0.16.0
dev-ml/ppx_custom_printf-0.17.0-r1
dev-ml/ppx_hash-0.15.0-r1
dev-ml/ppx_hash-0.16.0
dev-ml/ppx_hash-0.17.0-r1
dev-ml/ppx_import-1.10.0
dev-ml/ppx_import-1.11.0
dev-ml/ppx_import-1.9.1-r1
dev-ml/ppx_log-0.17.0-r1
dev-ml/ppx_sexp_message-0.15.0-r1
dev-ml/ppx_sexp_message-0.16.0
dev-ml/ppx_sexp_message-0.17.0-r1
dev-ml/ppx_sexp_value-0.15.0-r1
dev-ml/ppx_sexp_value-0.16.0
dev-ml/ppx_sexp_value-0.17.0-r1
dev-ml/splittable_random-0.16.0
sci-mathematics/coq-serapi-0.20.0
sci-mathematics/why3-1.6.0
sci-mathematics/why3-1.7.2
sci-mathematics/why3-1.8.0
sci-mathematics/why3-1.8.1
sci-mathematics/why3-1.8.2
sci-mathematics/why3-for-spark-2021-r1
sci-mathematics/why3-for-spark-2023.12.13-r2

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