diff options
| author |   Mark Wright <gienah@gentoo.org> | 2018-03-11 10:43:42 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2018-03-11 10:43:42 +1100 |
| commit | 41d92750d0948ebb53e6d0559ac7d1b378fecc9a (patch) | |
| tree | 6dc7385c4c6a28327d59d396f6f704d08d4c70c5 /dev-lang/mlton/mlton-20130715.ebuild | |
| parent | kde-frameworks/kio: Tarball respun (diff) | |
| download | gentoo-41d92750d0948ebb53e6d0559ac7d1b378fecc9a.tar.gz gentoo-41d92750d0948ebb53e6d0559ac7d1b378fecc9a.tar.bz2 gentoo-41d92750d0948ebb53e6d0559ac7d1b378fecc9a.zip | |
dev-lang/mlton: Bump to 20180207, fix 295112 and 581128.
Fix 295112, thanks to flameeyes for reporting. Fix 581128, thanks to
Toralf Forster for reporting.
Closes: https://bugs.gentoo.org/295112
Closes: https://bugs.gentoo.org/581128
Package-Manager: Portage-2.3.24, Repoman-2.3.6
Diffstat (limited to 'dev-lang/mlton/mlton-20130715.ebuild')
| -rw-r--r-- | dev-lang/mlton/mlton-20130715.ebuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-lang/mlton/mlton-20130715.ebuild b/dev-lang/mlton/mlton-20130715.ebuild index 8fc9db5dee2a..a306bfabb1c3 100644 --- a/dev-lang/mlton/mlton-20130715.ebuild +++ b/dev-lang/mlton/mlton-20130715.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -21,9 +21,9 @@ SLOT="0/${PV}" KEYWORDS="-* ~amd64 ~x86" IUSE="binary doc" -DEPEND="dev-libs/gmp +DEPEND="dev-libs/gmp:* doc? ( virtual/latex-base )" -RDEPEND="dev-libs/gmp" +RDEPEND="dev-libs/gmp:*" QA_PRESTRIPPED="binary? ( usr/bin/mlnlffigen |