Package: acl2-books
Source: acl2
Version: 8.5dfsg-5
Installed-Size: 1724527
Maintainer: Camm Maguire <camm@debian.org>
Architecture: mipsel
Replaces: acl2 (<= 2.7-9)
Depends: acl2 (= 8.5dfsg-5), acl2-books-certs (= 8.5dfsg-5), acl2-books-source (= 8.5dfsg-5)
Breaks: acl2 (<= 2.7-9)
Description: Computational Logic for Applicative Common Lisp: compiled libraries
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description-md5: b254130a33041ec03320e5001226eff7
Tag: devel::interpreter, devel::lang:lisp, devel::library,
 field::mathematics, implemented-in::lisp, role::app-data,
 role::program, works-with::software:source
Section: math
Priority: optional
Filename: pool/main/a/acl2/acl2-books_8.5dfsg-5_mipsel.deb
Size: 298373940
MD5sum: 5c688524795e48443fa50c96c27e9a4e
SHA256: 21ed573d22ff487c9dedb760ed034b48b841fac14ee66fde8ceeaa19574bd2a6