DEFINED_PHASES=install
DEPEND=dev-libs/gmp:=
DESCRIPTION=An open, trustable and efficient SMT-prover
EAPI=8
HOMEPAGE=https://verit.loria.fr/
KEYWORDS=~amd64 ~x86
LICENSE=BSD
RDEPEND=dev-libs/gmp:=
SLOT=0
SRC_URI=https://verit.loria.fr/download/2021.06.2/verit-2021.06.2-rmx.tar.gz
_md5_=b0fc580538a81d6d73a26d6d62327302