pkg://acl2_3.3-1.1_armel.deb:17360878/control  downloads

Package: acl2
Version: 3.3-1.1
Architecture: armel
Maintainer: Camm Maguire <camm@enhanced.com>
Installed-Size: 60704
Depends: libc6 (>= 2.7-1), libgcc1 (>= 1:4.3), 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.