pkg://acl2_3.1-1_arm.deb:16774370/control  downloads

Package: acl2
Version: 3.1-1
Section: math
Priority: optional
Architecture: arm
Depends: libc6 (>= 2.3.5-1), libgmp3c2, libice6 (>= 1:1.0.0), libncurses5 (>= 5.4-5), libreadline5 (>= 5.2), libsm6, libx11-6, libxaw7, libxext6, libxmu6, libxt6
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Installed-Size: 52336
Maintainer: Camm Maguire <camm@enhanced.com>
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.