Package: acl2 (4.3-3 and others)

[ Source: acl2  ]

Computational Logic for Applicative Common Lisp: main binary

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains the base ACL2 binary.

Tags: Software Development: Interpreter, Lisp Development, Field: field::mathematics, implemented-in::lisp, User Interface: Text-based Interactive, Role: role::program, scope::utility, Interface Toolkit: Ncurses TUI, Works with: Source Code

Other Packages Related to acl2

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc0.3 (>= 2.3) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-udeb

• dep: libc6 (>= 2.11) [hppa, powerpcspe]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.13) [s390x, sh4]

  dep: libc6 (>= 2.13-28) [armhf]

  dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel, sparc64]

  dep: libc6 (>= 2.3.5-1) [m68k]

  dep: libc6 (>= 2.4) [armel, powerpc, s390]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.4) [alpha]

• dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  GCC támogató programkönyvtár

• dep: libgmp10 [not hppa, m68k, powerpcspe, sparc64]

  Multiprecision arithmetic library

• dep: libgmp3c2 [hppa, m68k, powerpcspe, sparc64]

  Multiprecision arithmetic library

• dep: libice6 (>= 1:1.0.0) [m68k]

  X11 Inter-Client Exchange library

• dep: libncurses5 (>= 5.4-5) [m68k]

  shared libraries for terminal handling

  dep: libncurses5 (>= 5.5-5~) [sh4, sparc64]

  dep: libncurses5 (>= 5.7+20100313) [hppa, powerpcspe]

• dep: libreadline5 (>= 5.2) [m68k]

  GNU sorolvasó és 'hisztori' futásidejű programkönyvtárak

• dep: libreadline6 (>= 6.0) [not m68k]

  GNU sorolvasó és 'hisztori' futásidejű programkönyvtárak

• dep: libsm6 [m68k]

  X11 Session Management library

• dep: libx11-6

  X11 client-side library

• dep: libxaw7 [m68k]

  X11 Athena Widget library

• dep: libxext6 [m68k]

  X11 miscellaneous extension library

• dep: libxmu6 [m68k]

  X11 miscellaneous utility library

• dep: libxt6 [m68k]

  X11 toolkit intrinsics library

• rec: acl2-books

  Computational Logic for Applicative Common Lisp: compiled libraries

• rec: acl2-source

  Computational Logic for Applicative Common Lisp: source files

• sug: acl2-emacs

  Computational Logic for Applicative Common Lisp: emacs interface

Download acl2

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	4.3-3	28,170.2 kB	138,413.0 kB	[list of files]
amd64	4.3-3	27,654.0 kB	130,540.0 kB	[list of files]
armel	4.3-3	23,934.5 kB	82,378.0 kB	[list of files]
armhf	4.3-3	22,860.2 kB	78,434.0 kB	[list of files]
hppa	4.1-5	23,007.2 kB	70,060.0 kB	[list of files]
hurd-i386	4.3-2	23,792.3 kB	84,895.0 kB	[list of files]
i386	4.3-3	23,728.2 kB	78,179.0 kB	[list of files]
ia64	4.3-3	25,654.4 kB	205,548.0 kB	[list of files]
kfreebsd-amd64	4.3-3	27,659.2 kB	137,309.0 kB	[list of files]
kfreebsd-i386	4.3-3	23,752.3 kB	84,913.0 kB	[list of files]
m68k (unofficial port)	3.1-1	15,461.3 kB	50,560.0 kB	[list of files]
mips	4.3-3	24,340.9 kB	80,935.0 kB	[list of files]
mipsel	4.3-3	23,050.6 kB	81,195.0 kB	[list of files]
powerpc	4.3-3	25,108.9 kB	85,752.0 kB	[list of files]
powerpcspe (unofficial port)	4.1-5	23,382.7 kB	79,984.0 kB	[list of files]
s390	4.3-3	25,656.4 kB	79,195.0 kB	[list of files]
s390x	4.3-3	29,936.1 kB	134,905.0 kB	[list of files]
sh4 (unofficial port)	4.2-1	23,672.5 kB	72,468.0 kB	[list of files]
sparc	4.3-3	27,555.3 kB	92,374.0 kB	[list of files]
sparc64 (unofficial port)	4.1-5+b1	25,910.9 kB	125,316.0 kB	[list of files]