Package: acl2-books
Architecture: i386
Version: 8.0dfsg-1
Priority: optional
Section: universe/math
Source: acl2
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 731974
Depends: acl2 (= 8.0dfsg-1), acl2-books-certs (= 8.0dfsg-1), acl2-books-source (= 8.0dfsg-1)
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books_8.0dfsg-1_i386.deb
Size: 119603224
MD5sum: 51f5dcdd8c9686042f99b0245117fd98
SHA1: b0f393f0ed8edbd962d5005d8f9c3dac46723497
SHA256: 942a9a2e516126899d7a97828ab24f1f5cb720913ba01859b299b1e5cbbf9f78
Description: Computational Logic for Applicative Common Lisp: compiled libraries
Description-md5: b254130a33041ec03320e5001226eff7