X-Git-Url: https://git.sthu.org/?p=shuber-gentoo-overlay.git;a=blobdiff_plain;f=sci-mathematics%2Fboolector%2Fboolector-1.5.116.ebuild;fp=sci-mathematics%2Fboolector%2Fboolector-1.5.116.ebuild;h=dc5b7bb209e1b83eb5ab113f0b433314f409a40d;hp=aff2eae35061f46a2a977e5f6706b1624a1450fe;hb=9343ab5766ac92a41f1ce65e7a2f2fcbd05bf380;hpb=a0df7d8371318a874d3bf94d09c6d6207bf3b41a

diff --git a/sci-mathematics/boolector/boolector-1.5.116.ebuild b/sci-mathematics/boolector/boolector-1.5.116.ebuild
index aff2eae..dc5b7bb 100644
--- a/sci-mathematics/boolector/boolector-1.5.116.ebuild
+++ b/sci-mathematics/boolector/boolector-1.5.116.ebuild
@@ -2,7 +2,7 @@
 # Distributed under the terms of the GNU General Public License v2
 # $Header: $
 
-EAPI=5
+EAPI=7
 inherit eutils
 
 DESCRIPTION="Boolector is an SMT solver for bit-vectors and arrays"