summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/bin-prot/bin-prot-0.9.0.ebuild1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/bin-prot/bin-prot-0.9.0.ebuild b/dev-ml/bin-prot/bin-prot-0.9.0.ebuild
index c4b2b1198563..a30c802be449 100644
--- a/dev-ml/bin-prot/bin-prot-0.9.0.ebuild
+++ b/dev-ml/bin-prot/bin-prot-0.9.0.ebuild
@@ -17,6 +17,7 @@ RDEPEND="
dev-ml/base:=
dev-ml/ppx_compare:=
dev-ml/ppx_custom_printf:=
+ dev-ml/ppx_core:=
dev-ml/ppx_driver:=
dev-ml/ppx_fields_conv:=
dev-ml/ppx_sexp_conv:=