sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207.
authorMark Wright <gienah@gentoo.org>
Sat, 10 Mar 2018 23:58:41 +0000 (10:58 +1100)
committerMark Wright <gienah@gentoo.org>
Sat, 10 Mar 2018 23:58:41 +0000 (10:58 +1100)
commitb9158c1f69eaa08468fb2a7bb40ca742773e1b20
treecfba579984f7e953f8d0da62ae31345e3f9b3f5b
parent41d92750d0948ebb53e6d0559ac7d1b378fecc9a
sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207.

Fix 630782. Thanks to Toralf Forster for reporting.

Closes: https://bugs.gentoo.org/622848
Closes: https://bugs.gentoo.org/630782
Package-Manager: Portage-2.3.24, Repoman-2.3.6
sci-mathematics/twelf/files/twelf-1.7.1-mlton-20180207.patch [new file with mode: 0644]
sci-mathematics/twelf/twelf-1.7.1-r1.ebuild [new file with mode: 0644]
sci-mathematics/twelf/twelf-1.7.1.ebuild