all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: acl2  ]

Package: acl2 (6.3-6 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: Text-based Interactive, Role: role::program, scope::utility, Interface Toolkit: Ncurses TUI, Works with: Source Code

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) 6.3-6 13,450.8 kB215,220.0 kB [list of files]
amd64 6.3-6 16,108.2 kB152,354.0 kB [list of files]
armel 6.3-6 13,686.8 kB114,018.0 kB [list of files]
armhf 6.3-6 13,938.7 kB113,269.0 kB [list of files]
hppa (unofficial port) 6.3-6 13,817.8 kB115,548.0 kB [list of files]
hurd-i386 6.0-2 26,424.7 kB91,937.0 kB [list of files]
i386 6.3-6 13,576.5 kB112,890.0 kB [list of files]
kfreebsd-amd64 6.3-6 16,098.3 kB158,982.0 kB [list of files]
kfreebsd-i386 6.3-6 13,557.3 kB119,975.0 kB [list of files]
m68k (unofficial port) 3.1-1 15,461.3 kB50,560.0 kB [list of files]
mips 6.3-6 15,776.7 kB330,174.0 kB [list of files]
mipsel 6.3-6 16,148.9 kB330,046.0 kB [list of files]
powerpc 6.3-6 13,307.3 kB173,771.0 kB [list of files]
powerpcspe (unofficial port) 6.3-6 12,711.4 kB115,296.0 kB [list of files]
s390x 6.3-6 15,456.4 kB152,017.0 kB [list of files]
sh4 (unofficial port) 4.2-1 23,672.5 kB72,468.0 kB [list of files]
sparc 6.3-6 13,021.1 kB296,043.0 kB [list of files]
sparc64 (unofficial port) 6.0-2 31,176.6 kB145,805.0 kB [list of files]