Package: acl2-books
Architecture: amd64
Version: 8.5dfsg-6
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: 1329888
Depends: acl2 (= 8.5dfsg-6), acl2-books-certs (= 8.5dfsg-6), acl2-books-source (= 8.5dfsg-6)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books_8.5dfsg-6_amd64.deb
Size: 178788782
MD5sum: a6ab8dd940a5e0479d9e4e5e745fe1a3
SHA1: a0942293752ed947819a71cf971db2324b7fa743
SHA256: f89d10f21ed39d2aa7b86d82c17efa0371e276c69f421e96de7f5a2504760b49
SHA512: 986fb1a567ef09a1e5be60c325c4a0bb29c50b769152441ee2b13739833668b92f5dab376dc87a20c94ff53d38afb40500a969011fdf845af391da61367049fa
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: compiled libraries
Description-md5: b254130a33041ec03320e5001226eff7