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=587be67feff7248b02561fadede184a086bc2c60;hp=dc5b7bb209e1b83eb5ab113f0b433314f409a40d;hb=295d590ac2f8d30b95f2cf7c719fb13e7b67bc53;hpb=f3383a7c4ad059bd7e4fd1544ca5c50aa6119665 diff --git a/sci-mathematics/boolector/boolector-1.5.116.ebuild b/sci-mathematics/boolector/boolector-1.5.116.ebuild index dc5b7bb..587be67 100644 --- a/sci-mathematics/boolector/boolector-1.5.116.ebuild +++ b/sci-mathematics/boolector/boolector-1.5.116.ebuild @@ -3,7 +3,6 @@ # $Header: $ EAPI=7 -inherit eutils DESCRIPTION="Boolector is an SMT solver for bit-vectors and arrays" HOMEPAGE="http://fmv.jku.at/boolector/"