diff options
Diffstat (limited to 'dev-ml/bignum')
| -rw-r--r-- | dev-ml/bignum/bignum-0.9.0.ebuild | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev-ml/bignum/bignum-0.9.0.ebuild b/dev-ml/bignum/bignum-0.9.0.ebuild index ea3309a76a5b..a2a5971bed66 100644 --- a/dev-ml/bignum/bignum-0.9.0.ebuild +++ b/dev-ml/bignum/bignum-0.9.0.ebuild @@ -20,6 +20,8 @@ RDEPEND=" dev-ml/ppx_jane:= dev-ml/typerep:= dev-ml/zarith:= + <dev-ml/ppx_driver-100 + <dev-ml/ppx_jane-100 " DEPEND="${RDEPEND} dev-ml/opam dev-ml/jbuilder" |