Package: acl2
Priority: optional
Section: universe/math
Installed-Size: 112936
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Architecture: i386
Version: 6.3-5
Depends: libc6 (>= 2.15), libgmp10, libreadline6 (>= 6.0), libx11-6
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Filename: pool/universe/a/acl2/acl2_6.3-5_i386.deb
Size: 24013356
MD5sum: 4b23ab58642d9eb5fb59b0bd702c3a2b
SHA1: 93d2db1b58a824145eb1bab7a37916d26bba6728
SHA256: ab1fa1cecf0506e2aa275506a581f3a012843484d7bcd9b85922da231cc36253
Description: Computational Logic for Applicative Common Lisp: main binary
Description-md5: 11f9e97229e3c77927e661525096d127
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu