pkg://acl2_3.3-1.1_powerpc.deb:18658522/control  downloads

Package: acl2
Version: 3.3-1.1
Architecture: powerpc
Maintainer: Camm Maguire <camm@enhanced.com>
Installed-Size: 65988
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-books, acl2-source
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.