Package: acl2-books-source Source: acl2 Version: 7.2dfsg-3 Installed-Size: 105092 Maintainer: Camm Maguire <camm@debian.org> Architecture: all Replaces: acl2 (<= 2.7-9) Depends: acl2 (>= 7.2dfsg-3), tex-common (>= 6) Conflicts: acl2 (<= 2.7-9) Description: Computational Logic for Applicative Common Lisp: library sources Description-md5: 08e659cca46334f8267d3b949c74e9c4 Tag: devel::interpreter, devel::lang:lisp, implemented-in::lisp, interface::text-mode, role::source, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/a/acl2/acl2-books-source_7.2dfsg-3_all.deb Size: 10864188 MD5sum: 054db4c5728894200fd8362d91dcb776 SHA256: 343a8d8cca5c79e43154164c43a65744e62d7b569d0b97331a1645a76dc57ecb