blob: d79adcd2adba602b58cc1cff81f6f309b8e672d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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
|
