projects
/
shuber-gentoo-overlay.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
media-gfx/ipe: Add ipe-7.2.29
[shuber-gentoo-overlay.git]
/
sci-mathematics
/
lingeling
/
lingeling-1212013.ebuild
diff --git
a/sci-mathematics/lingeling/lingeling-1212013.ebuild
b/sci-mathematics/lingeling/lingeling-1212013.ebuild
index e6b46816cbb128b9263aabfcf8620f4b492d5d02..7dde026c2789d834a98370c4f6a5835f0e0256f7 100644
(file)
--- 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/"