blob: 5956fa75a01ced80eb74275b3d77eae5d895a52e (
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 f4e4c22139b7811a4dbdafaede74c229 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
_md5_=5625670b496a0bf83433c98f0ced42a5
|
