Pakiet: acl2-books (8.6+dfsg-3 i inne)

Odnośniki dla acl2-books

Zasoby systemu Debian:

Pobieranie pakietu źródłowego acl2:

Opiekun:

Camm Maguire (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [www.cs.utexas.edu]

Podobne pakiety:

Logika obliczeniowa do Applicative Common Lisp: skompilowane biblioteki

ACL2 jest jednocześnie językiem programowania do modelowania systemów komputerowych i narzędziem pomagającym wykazać ich właściwości.

Pakiet zawiera wiele prekompilowanych i precertyfikowanych bibliotek używanych do udowodnienia twierdzeń z ACL2. Poważni użytkownicy bez wątpienia zechcą zainstalować ten pakiet.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, devel::library, field::mathematics, Zaimplementowane w: Lisp, Rola: role::app-data, role::program, Działa z: Kod źródłowy

Inne pakiety związane z acl2-books

wymaga

poleca

sugeruje

enhances

dep: acl2 (= 8.4dfsg-2) [alpha, sh4]

Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny

dep: acl2 (= 8.5dfsg-2) [m68k]

dep: acl2 (= 8.6+dfsg-3) [nie alpha, m68k, sh4]
dep: acl2-books-certs (= 8.4dfsg-2) [alpha, sh4]

Logika obliczeniowa do Applicative Common Lisp: certyfikaty bibliotek

dep: acl2-books-certs (= 8.5dfsg-2) [m68k]

dep: acl2-books-certs (= 8.6+dfsg-3) [nie alpha, m68k, sh4]
dep: acl2-books-source (= 8.4dfsg-2) [alpha, sh4]

Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe bibliotek

dep: acl2-books-source (= 8.5dfsg-2) [m68k]

dep: acl2-books-source (= 8.6+dfsg-3) [nie alpha, m68k, sh4]

Pobieranie acl2-books

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	8.4dfsg-2	289 668,4 KiB	2 492 023,0 KiB	[lista plików]
amd64	8.6+dfsg-3	425 557,8 KiB	3 861 172,0 KiB	[lista plików]
arm64	8.6+dfsg-3	422 402,4 KiB	3 793 608,0 KiB	[lista plików]
armel	8.6+dfsg-3	395 056,9 KiB	2 708 195,0 KiB	[lista plików]
armhf	8.6+dfsg-3	404 129,4 KiB	2 670 435,0 KiB	[lista plików]
hppa (port nieoficjalny)	8.6+dfsg-3	472 846,2 KiB	3 120 721,0 KiB	[lista plików]
i386	8.6+dfsg-3	352 605,3 KiB	2 440 787,0 KiB	[lista plików]
loong64 (port nieoficjalny)	8.6+dfsg-3	542 011,3 KiB	5 431 693,0 KiB	[lista plików]
m68k (port nieoficjalny)	8.5dfsg-2	250 602,4 KiB	1 794 077,0 KiB	[lista plików]
mips64el	8.6+dfsg-3	451 253,0 KiB	4 092 803,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	8.6+dfsg-3	426 956,6 KiB	4 088 427,0 KiB	[lista plików]
ppc64el	8.6+dfsg-3	440 170,5 KiB	4 123 881,0 KiB	[lista plików]
riscv64	8.6+dfsg-3	959 053,0 KiB	13 407 812,0 KiB	[lista plików]
s390x	8.6+dfsg-3	426 540,6 KiB	3 919 865,0 KiB	[lista plików]
sh4 (port nieoficjalny)	8.4dfsg-2	253 509,8 KiB	1 510 880,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	8.6+dfsg-3	415 968,1 KiB	3 939 167,0 KiB	[lista plików]
x32 (port nieoficjalny)	8.6+dfsg-3	148 522,6 KiB	1 125 472,0 KiB	[lista plików]