Pakiet: gappa (1.4.1-1)

Odnośniki dla gappa

Zasoby systemu Debian:

Pobieranie pakietu źródłowego gappa:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [gappa.gitlabpages.inria.fr]

Podobne pakiety:

Automatyczne generowanie dowodów własności arytmetycznych

Ten pakiet zawiera narzędzie ułatwiające weryfikację i udowodnienie właściwości programów numerycznych, które wykorzystują arytmetykę stało i zmiennoprzecinkową.

Inne pakiety związane z gappa

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.34)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.0) [nie armel, armhf]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libgmp10 (>= 2:6.2.1+dfsg1)

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libjs-sphinxdoc (>= 4.3)

JavaScript support for Sphinx documentation
dep: libmpfr6 (>= 3.1.3)

Obliczenia zmiennoprzecinkowe wysokiej precyzji
dep: libstdc++6 (>= 11)

Standardowa biblioteka GNU C++, wersja 3

Pobieranie gappa

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	425,4 KiB	1 456,0 KiB	[lista plików]
arm64	394,9 KiB	1 464,0 KiB	[lista plików]
armel	382,5 KiB	1 333,0 KiB	[lista plików]
armhf	391,4 KiB	1 205,0 KiB	[lista plików]
i386	443,9 KiB	1 488,0 KiB	[lista plików]
mips64el	403,4 KiB	1 701,0 KiB	[lista plików]
mipsel	404,8 KiB	1 626,0 KiB	[lista plików]
ppc64el	424,8 KiB	1 592,0 KiB	[lista plików]
s390x	396,7 KiB	1 464,0 KiB	[lista plików]