X-Git-Url: https://git.sthu.org/?p=shuber-gentoo-overlay.git;a=blobdiff_plain;f=sci-mathematics%2Flingeling%2Flingeling-1212013.ebuild;h=7dde026c2789d834a98370c4f6a5835f0e0256f7;hp=e6b46816cbb128b9263aabfcf8620f4b492d5d02;hb=HEAD;hpb=a863192789bd0b66e42df9344abed4549c73dd67 diff --git a/sci-mathematics/lingeling/lingeling-1212013.ebuild b/sci-mathematics/lingeling/lingeling-1212013.ebuild index e6b4681..7dde026 100644 --- a/sci-mathematics/lingeling/lingeling-1212013.ebuild +++ b/sci-mathematics/lingeling/lingeling-1212013.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI=5 +EAPI=7 DESCRIPTION="A SAT (boolean satisfiability) solver" HOMEPAGE="http://fmv.jku.at/lingeling/"