diff options
author | Alexis Ballier <aballier@gentoo.org> | 2017-04-12 11:36:09 +0200 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2017-04-12 11:36:09 +0200 |
commit | 21e13ef9cfdc420858c1379216f7d85397d3ba27 (patch) | |
tree | ecc262e7f8aea06c549af587549e15a8026bdf1c /dev-ml | |
parent | dev-ml/async_unix: force "upgrade" to latest ppx, bug #615192 (diff) | |
download | gentoo-21e13ef9cfdc420858c1379216f7d85397d3ba27.tar.gz gentoo-21e13ef9cfdc420858c1379216f7d85397d3ba27.tar.bz2 gentoo-21e13ef9cfdc420858c1379216f7d85397d3ba27.zip |
dev-ml/bignum: Force "upgrade" to latest ppx, bug #615190
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Diffstat (limited to 'dev-ml')
-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" |