pkg://acl2_3.4-1_i386.deb:19363946/control  downloads

Package: acl2
Version: 3.4-1
Architecture: i386
Maintainer: Camm Maguire <camm@enhanced.com>
Installed-Size: 64364
Depends: libc6 (>= 2.7-1), libgmp3c2, libice6 (>= 1:1.0.0), libncurses5 (>= 5.6+20071006-3), libreadline5 (>= 5.2), libsm6, libx11-6, libxaw7, libxext6, libxmu6, libxt6
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Section: math
Priority: optional
Description: A 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.