all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: acl2  ]

Package: acl2 (8.5dfsg-5 and others)

Links for acl2


Debian Resources:

Download Source Package acl2:


External Resources:

Similar packages:

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: Command Line, interface::text-mode, role::program, Scope: Utility, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

Other Packages Related to acl2

  • depends
  • recommends
  • suggests
  • enhances

Download acl2

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 8.4dfsg-2 20,868.6 kB243,337.0 kB [list of files]
amd64 8.5dfsg-5+b1 22,871.9 kB245,058.0 kB [list of files]
arm64 8.5dfsg-5+b1 21,119.1 kB239,468.0 kB [list of files]
armel 8.5dfsg-5+b1 18,740.4 kB173,135.0 kB [list of files]
armhf 8.5dfsg-5+b1 18,744.4 kB165,091.0 kB [list of files]
hppa (unofficial port) 8.5dfsg-5 20,763.2 kB192,400.0 kB [list of files]
i386 8.5dfsg-5+b1 19,940.1 kB167,601.0 kB [list of files]
m68k (unofficial port) 8.5dfsg-2 17,680.5 kB168,254.0 kB [list of files]
mips64el 8.5dfsg-5+b2 20,205.6 kB260,580.0 kB [list of files]
ppc64 (unofficial port) 8.5dfsg-5+b1 23,418.0 kB344,073.0 kB [list of files]
ppc64el 8.5dfsg-5+b1 22,455.8 kB326,982.0 kB [list of files]
riscv64 8.5dfsg-5+b2 21,579.0 kB231,668.0 kB [list of files]
s390x 8.5dfsg-5+b1 23,013.9 kB236,360.0 kB [list of files]
sh4 (unofficial port) 8.4dfsg-2 19,568.7 kB158,973.0 kB [list of files]
sparc64 (unofficial port) 8.5dfsg-5+b1 19,788.3 kB247,010.0 kB [list of files]
x32 (unofficial port) 8.5dfsg-1 21,513.9 kB178,075.0 kB [list of files]