Paquet : gappa (1.6.0-1)

Liens pour gappa

Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic.

dep: libc6 (>= 2.38)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0) [non armhf, riscv64]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]
dep: libgmp10 (>= 2:6.3.0+dfsg)

Bibliothèque arithmétique à multi-précision
dep: libjs-sphinxdoc (>= 8.1)

prise en charge de JavaScript pour la documentation de Sphinx
dep: libmpfr6 (>= 3.1.3)

calcul en virgule flotante avec une précision multiple
dep: libstdc++6 (>= 14)

bibliothèque standard C++ de GNU v3

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	441,5 ko	1 562,0 ko	[liste des fichiers]
arm64	408,5 ko	1 570,0 ko	[liste des fichiers]
armhf	402,6 ko	1 311,0 ko	[liste des fichiers]
i386	456,5 ko	1 578,0 ko	[liste des fichiers]
ppc64el	433,6 ko	1 698,0 ko	[liste des fichiers]
riscv64	430,2 ko	1 362,0 ko	[liste des fichiers]
s390x	424,5 ko	1 549,0 ko	[liste des fichiers]