Package: acl2-books
Source: acl2
Priority: optional
Section: universe/math
Installed-Size: 3827408
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 8.6+dfsg-3build1
Replaces: acl2 (<= 2.7-9)
Depends: acl2 (= 8.6+dfsg-3build1), acl2-books-certs (= 8.6+dfsg-3build1), acl2-books-source (= 8.6+dfsg-3build1)
Breaks: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books_8.6+dfsg-3build1_amd64.deb
Size: 489589524
MD5sum: 42c7dd930710c5b761eb940e430e7f30
SHA1: 5d4767c970a05a5e22361e883ec6a7746bebfb89
SHA256: e9aaaed88c5a1490247c0c5929970f5b35df3d566c009447376b9db0e93fe949
SHA512: c632f89e95100ce42508737ccf9eb974e129a8a5e7cc0874673822d02c3dc6cf7177cedc1927ef71a3ea7c89521ce59898b3190f1fed480ea3075dcf2e682d7f
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: compiled libraries
Description-md5: b254130a33041ec03320e5001226eff7
Original-Maintainer: Camm Maguire <camm@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug