Package: acl2-books
Priority: optional
Section: universe/math
Installed-Size: 174166
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Architecture: i386
Source: acl2
Version: 7.1-1
Replaces: acl2 (<= 2.7-9)
Depends: acl2 (= 7.1-1), acl2-books-certs (= 7.1-1), acl2-books-source (= 7.1-1)
Conflicts: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books_7.1-1_i386.deb
Size: 18602828
MD5sum: 3a5be7bbebb72c0823b5bf6bf6acee30
SHA1: f7d9595a62b7e943ac386c86dd73356493334a24
SHA256: d2855d35e08f9a57bc206822a6b28b85821fce873d8dab93cfd6a7af7bf98f03
Description: Computational Logic for Applicative Common Lisp: compiled libraries
Description-md5: b254130a33041ec03320e5001226eff7
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu