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=9343ab5766ac92a41f1ce65e7a2f2fcbd05bf380;hpb=a0df7d8371318a874d3bf94d09c6d6207bf3b41a 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/"