summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics/gappa-1.4.1
blob: 635f851312148d61d9e50bc9c381aa78b4551ae8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
BDEPEND=doc? ( app-doc/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.1.tar.gz
_eclasses_=docs	74475974eae5130ba3e19b31b8ae46b8	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=5625670b496a0bf83433c98f0ced42a5