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

Odnośniki dla acl2-infix

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: infiksowy interfejs

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

Pakiet dostarcza narzędzia i biblioteki umożliwiające dostęp do ACL2 za pośrednictwem zapisu infiksowego, podobnego do tych wykorzystywanych w wielu językach programowania innych niż LISP.

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-infix

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: csh [nie alpha, m68k, sh4]

Powłoka ze składnią podobną do C

lub c-shell

pakiet wirtualny udostępniany przez csh, tcsh
dep: texlive-latex-recommended

TeX Live: LaTeX recommended packages

rec: acl2-infix-source (= 8.4dfsg-2) [alpha, sh4]

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

rec: acl2-infix-source (= 8.5dfsg-2) [m68k]

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

Pobieranie acl2-infix

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	8.4dfsg-2	502,1 KiB	3 045,0 KiB	[lista plików]
amd64	8.6+dfsg-3	864,8 KiB	5 744,0 KiB	[lista plików]
arm64	8.6+dfsg-3	833,5 KiB	5 249,0 KiB	[lista plików]
armel	8.6+dfsg-3	813,3 KiB	3 580,0 KiB	[lista plików]
armhf	8.6+dfsg-3	846,4 KiB	3 557,0 KiB	[lista plików]
hppa (port nieoficjalny)	8.6+dfsg-3	990,6 KiB	4 415,0 KiB	[lista plików]
i386	8.6+dfsg-3	852,5 KiB	3 665,0 KiB	[lista plików]
loong64 (port nieoficjalny)	8.6+dfsg-3	1 065,0 KiB	8 248,0 KiB	[lista plików]
m68k (port nieoficjalny)	8.5dfsg-2	442,5 KiB	2 245,0 KiB	[lista plików]
mips64el	8.6+dfsg-3	874,9 KiB	5 509,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	8.6+dfsg-3	852,4 KiB	5 794,0 KiB	[lista plików]
ppc64el	8.6+dfsg-3	882,0 KiB	5 930,0 KiB	[lista plików]
riscv64	8.6+dfsg-3	1 893,6 KiB	24 146,0 KiB	[lista plików]
s390x	8.6+dfsg-3	862,9 KiB	5 590,0 KiB	[lista plików]
sh4 (port nieoficjalny)	8.4dfsg-2	479,4 KiB	1 810,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	8.6+dfsg-3	878,2 KiB	5 825,0 KiB	[lista plików]
x32 (port nieoficjalny)	8.6+dfsg-3	868,8 KiB	4 226,0 KiB	[lista plików]