pkg://acl2_2.9-2_m68k.deb:13622708/control  downloads

Package: acl2
Version: 2.9-2
Section: math
Priority: optional
Architecture: m68k
Depends: libc6 (>= 2.3.2.ds1-4), libgmp3, libncurses5 (>= 5.4-1), libreadline4 (>= 4.3-1)
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Installed-Size: 40516
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.