Balík: acl2 (8.5dfsg-5 a iné)

[ Zdroj: acl2  ]

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

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

  dep: libc6 (>= 2.34) [nie alpha, sh4, x32]

• 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 (>= 3.0) [arm64]

  podporná knižnica GCC

• dep: libgcc-s4 (>= 4.1.1) [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) [hppa, m68k, x32]

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

• dep: libreadline8 (>= 6.0) [alpha, sh4]

  GNU knižnice readline a histórie, dynamické knižnice

• dep: libtirpc3 (>= 1.0.2) [alpha, hppa, m68k, ppc64, sh4, sparc64, x32]

  knižnica RPC nezávislá na transporte

• dep: libtirpc3t64 (>= 1.0.2) [nie alpha, hppa, m68k, ppc64, sh4, sparc64, x32]

  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.5dfsg-5+b1	22,871.9 kB	245,058.0 kB	[zoznam súborov]
arm64	8.5dfsg-5+b1	21,119.1 kB	239,468.0 kB	[zoznam súborov]
armel	8.5dfsg-5+b1	18,740.4 kB	173,135.0 kB	[zoznam súborov]
armhf	8.5dfsg-5+b1	18,744.4 kB	165,091.0 kB	[zoznam súborov]
hppa (neoficiálny port)	8.5dfsg-5	20,763.2 kB	192,400.0 kB	[zoznam súborov]
i386	8.5dfsg-5+b1	19,940.1 kB	167,601.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.5dfsg-5+b2	20,205.6 kB	260,580.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	8.5dfsg-5+b1	23,418.0 kB	344,073.0 kB	[zoznam súborov]
ppc64el	8.5dfsg-5+b1	22,455.8 kB	326,982.0 kB	[zoznam súborov]
riscv64	8.5dfsg-5+b2	21,579.0 kB	231,668.0 kB	[zoznam súborov]
s390x	8.5dfsg-5+b1	23,013.9 kB	236,360.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.5dfsg-5+b1	19,788.3 kB	247,010.0 kB	[zoznam súborov]
x32 (neoficiálny port)	8.5dfsg-1	21,513.9 kB	178,075.0 kB	[zoznam súborov]