diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/bin-prot/bin-prot-0.9.0.ebuild | 1 |
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:= |