Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/gappa
Tool for verifying floating-point or fixed-point arithmetic
Screenshots
https://gappa.gitlabpages.inria.fr/
https://gitlab.inria.fr/gappa/gappa/
gappa-1.4.2
~amd64 ~x86
doc
View
Download
Browse
License: CeCILL-2 GPL-3+
Overlay:
gentoo
gappa-1.4.1
~amd64 ~x86
doc
View
Download
Browse
License: CeCILL-2 GPL-3+
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
gappa-1.4.2
dev-libs/boost
:=
dev-libs/gmp
:0=
dev-libs/mpfr
:0=
gappa-1.4.1
dev-libs/boost
:=
dev-libs/gmp
:0=
dev-libs/mpfr
:0=