gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

dev-ml/bignum: Force "upgrade" to latest ppx, bug #615190

Browse Source 
Package-Manager: Portage-2.3.5, Repoman-2.3.2
This commit is contained in:
Alexis Ballier
2017-04-12 11:36:09 +02:00
parent 95da930e2e
commit 21e13ef9cf
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
dev-ml/bignum/bignum-0.9.0.ebuild
View File

@@ -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"