all options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: acl2  ]

Package: acl2 (8.1dfsg-3 and others)

Links for acl2


Debian Resources:

Download Source Package acl2:


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.1dfsg-3 19,067.0 kB236,026.0 kB [list of files]
amd64 8.1dfsg-3 19,958.7 kB232,652.0 kB [list of files]
arm64 8.1dfsg-3 17,801.2 kB224,835.0 kB [list of files]
armel 8.1dfsg-3 16,864.0 kB164,305.0 kB [list of files]
armhf 8.1dfsg-3 17,366.2 kB157,445.0 kB [list of files]
hppa (unofficial port) 8.1dfsg-3 18,658.7 kB178,199.0 kB [list of files]
i386 8.1dfsg-3 18,187.3 kB159,933.0 kB [list of files]
m68k (unofficial port) 8.1dfsg-3 16,124.5 kB160,375.0 kB [list of files]
mips 8.1dfsg-3 18,794.1 kB181,496.0 kB [list of files]
mips64el 8.1dfsg-3 17,800.9 kB238,004.0 kB [list of files]
mipsel 8.1dfsg-3 19,059.9 kB181,500.0 kB [list of files]
ppc64 (unofficial port) 8.1dfsg-3 19,572.1 kB300,982.0 kB [list of files]
ppc64el 8.1dfsg-3 19,614.2 kB316,852.0 kB [list of files]
s390x 8.1dfsg-3 18,597.1 kB222,995.0 kB [list of files]
sh4 (unofficial port) 4.2-1 23,672.5 kB72,468.0 kB [list of files]
sparc64 (unofficial port) 8.1dfsg-3 17,508.5 kB240,380.0 kB [list of files]
x32 (unofficial port) 8.1dfsg-3 20,056.4 kB169,566.0 kB [list of files]