summaryrefslogtreecommitdiff
blob: 7158ae803aa42b66dc4c8ea4c44dda13604e536d (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	30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=2aa7d6e62f76d923e74195b6f93aae7e