blob: 1f474343d9d17e54aec1206ef7b3dcf13211f36e (
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.1.tar.gz
_eclasses_=docs 7f3c0d47338743498c69f1887a139f57 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=5625670b496a0bf83433c98f0ced42a5
|
