summaryrefslogtreecommitdiff
blob: 306765db65297a1b2548e1980e6ec88f951d8a3c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
BDEPEND=doc? ( app-text/doxygen )
DEFINED_PHASES=compile install test
DEPEND=dev-libs/boost:= dev-libs/gmp:0= dev-libs/mpfr:0=
DESCRIPTION=Tool for verifying floating-point or fixed-point arithmetic
EAPI=8
HOMEPAGE=https://gappa.gitlabpages.inria.fr/ https://gitlab.inria.fr/gappa/gappa/
INHERIT=docs multiprocessing
IUSE=doc
KEYWORDS=~amd64 ~x86
LICENSE=CeCILL-2 GPL-3+
RDEPEND=dev-libs/boost:= dev-libs/gmp:0= dev-libs/mpfr:0=
SLOT=0
SRC_URI=https://gappa.gitlabpages.inria.fr/releases/gappa-1.4.2.tar.gz
_eclasses_=docs	7f3c0d47338743498c69f1887a139f57	multiprocessing	1e32df7deee68372153dca65f4a7c21f
_md5_=2aa7d6e62f76d923e74195b6f93aae7e