Pakiet: acl2-infix (8.5dfsg-5 i inne)

[ Pakiet źródłowy: acl2  ]

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

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

  Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny

  dep: acl2 (= 8.5dfsg-1) [x32]

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

  dep: acl2 (= 8.5dfsg-5) [hppa]

  dep: acl2 (= 8.5dfsg-5+b1) [nie alpha, hppa, m68k, mips64el, riscv64, sh4, x32]

  dep: acl2 (= 8.5dfsg-5+b2) [mips64el, riscv64]

• 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-1) [x32]

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

  rec: acl2-infix-source (= 8.5dfsg-5) [nie alpha, m68k, sh4, x32]

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.5dfsg-5+b1	467,1 KiB	2 860,0 KiB	[lista plików]
arm64	8.5dfsg-5+b1	466,0 KiB	2 761,0 KiB	[lista plików]
armel	8.5dfsg-5+b1	460,1 KiB	1 819,0 KiB	[lista plików]
armhf	8.5dfsg-5+b1	475,4 KiB	1 760,0 KiB	[lista plików]
hppa (port nieoficjalny)	8.5dfsg-5	531,5 KiB	2 323,0 KiB	[lista plików]
i386	8.5dfsg-5+b1	478,9 KiB	1 928,0 KiB	[lista plików]
m68k (port nieoficjalny)	8.5dfsg-2	442,5 KiB	2 245,0 KiB	[lista plików]
mips64el	8.5dfsg-5+b2	494,5 KiB	2 941,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	8.5dfsg-5+b1	472,5 KiB	3 095,0 KiB	[lista plików]
ppc64el	8.5dfsg-5+b1	488,6 KiB	3 221,0 KiB	[lista plików]
riscv64	8.5dfsg-5+b2	1 023,1 KiB	13 077,0 KiB	[lista plików]
s390x	8.5dfsg-5+b1	468,1 KiB	2 870,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.5dfsg-5+b1	452,1 KiB	2 932,0 KiB	[lista plików]
x32 (port nieoficjalny)	8.5dfsg-1	483,5 KiB	2 148,0 KiB	[lista plików]