Balík: acl2 (8.6+dfsg-3 a iné)

Odkazy pre acl2

Zdroje Debian:

Stiahnuť zdrojový balík acl2:

Správca:

Camm Maguire (Stránka QA)

Externé zdroje:

Domovská stránka [www.cs.utexas.edu]

Podobné balíky:

Computational Logic for Applicative Common Lisp - hlavný binárny súbor

ACL2 je jednak programovací jazyk, v ktorom môžete modelovať počítačové systémy a jednak nástroj, ktorý vám pomôže dokázať vlastnosti týchto modelov.

Tento balík obsahuje základný binárny súbor ACL2.

Značky: Software Development: Interpreter, Lisp Development, Pole: field::mathematics, implemented-in::lisp, User Interface: Príkazový riadok, interface::text-mode, role::program, Scope: Utility, Sada nástrojov používateľského rozhrania: uitoolkit::ncurses, works-with::software:source

Ostatné balíky súvisiace s balíkom acl2

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.32) [sh4]

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb

dep: libc6 (>= 2.34) [m68k]

dep: libc6 (>= 2.38) [nie alpha, loong64, m68k, sh4]

dep: libc6 (>= 2.41) [loong64]
dep: libc6.1 (>= 2.29) [alpha]

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6.1-udeb
dep: libedit2 (>= 2.11-20080614-0) [nie alpha, sh4]

knižnice BSD editline a history
dep: libgcc-s1 (>= 4.0) [arm64]

podporná knižnica GCC
dep: libgcc-s4 (>= 4.3) [hppa]

podporná knižnica GCC
dep: libgmp10 (>= 2:6.2.1+dfsg) [alpha, sh4]

aritmetická knižnica s viacnásobnou presnosťou

dep: libgmp10 (>= 2:6.2.1+dfsg1) [m68k]

dep: libgmp10 (>= 2:6.3.0+dfsg) [nie alpha, m68k, sh4]
dep: libreadline8 (>= 6.0) [alpha, sh4]

GNU knižnice readline a histórie, dynamické knižnice
dep: libtirpc3 (>= 1.0.2) [alpha, m68k, sh4]

knižnica RPC nezávislá na transporte
dep: libtirpc3t64 (>= 1.0.2) [nie alpha, m68k, sh4]

knižnica RPC nezávislá na transporte
dep: libx11-6

X11 client-side library

rec: acl2-books

Computational Logic for Applicative Common Lisp - skompilované knižnice
rec: acl2-source

Computational Logic for Applicative Common Lisp - zdrojový kód

sug: elpa-acl2

Computational Logic for Applicative Common Lisp - rozhranie pre Emacs

Stiahnuť acl2

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	8.4dfsg-2	20,868.6 kB	243,337.0 kB	[zoznam súborov]
amd64	8.6+dfsg-3	36,294.6 kB	561,657.0 kB	[zoznam súborov]
arm64	8.6+dfsg-3	37,324.5 kB	590,314.0 kB	[zoznam súborov]
armel	8.6+dfsg-3	36,922.7 kB	506,345.0 kB	[zoznam súborov]
armhf	8.6+dfsg-3	39,118.1 kB	506,342.0 kB	[zoznam súborov]
hppa (neoficiálny port)	8.6+dfsg-3	35,147.2 kB	458,124.0 kB	[zoznam súborov]
i386	8.6+dfsg-3	40,123.7 kB	516,619.0 kB	[zoznam súborov]
loong64 (neoficiálny port)	8.6+dfsg-3	36,372.3 kB	559,585.0 kB	[zoznam súborov]
m68k (neoficiálny port)	8.5dfsg-2	17,680.5 kB	168,254.0 kB	[zoznam súborov]
mips64el	8.6+dfsg-3	36,518.5 kB	588,831.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	8.6+dfsg-3	36,034.5 kB	539,119.0 kB	[zoznam súborov]
ppc64el	8.6+dfsg-3	36,215.1 kB	567,771.0 kB	[zoznam súborov]
riscv64	8.6+dfsg-3	36,238.3 kB	555,638.0 kB	[zoznam súborov]
s390x	8.6+dfsg-3	38,790.4 kB	547,416.0 kB	[zoznam súborov]
sh4 (neoficiálny port)	8.4dfsg-2	19,568.7 kB	158,973.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	8.6+dfsg-3	34,255.4 kB	555,634.0 kB	[zoznam súborov]
x32 (neoficiálny port)	8.6+dfsg-3	41,382.2 kB	518,594.0 kB	[zoznam súborov]