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
/
boolector
/
boolector-1.5.116.ebuild
diff --git
a/sci-mathematics/boolector/boolector-1.5.116.ebuild
b/sci-mathematics/boolector/boolector-1.5.116.ebuild
index aff2eae35061f46a2a977e5f6706b1624a1450fe..587be67feff7248b02561fadede184a086bc2c60 100644
(file)
--- a/
sci-mathematics/boolector/boolector-1.5.116.ebuild
+++ b/
sci-mathematics/boolector/boolector-1.5.116.ebuild
@@
-2,8
+2,7
@@
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI=5
-inherit eutils
+EAPI=7
DESCRIPTION="Boolector is an SMT solver for bit-vectors and arrays"
HOMEPAGE="http://fmv.jku.at/boolector/"