Package: acl2-source Source: acl2 Version: 7.2dfsg-3 Installed-Size: 15145 Maintainer: Camm Maguire <camm@debian.org> Architecture: all Replaces: acl2 (<= 2.7-9) Depends: tex-common (>= 6) Conflicts: acl2 (<= 2.7-9) Description: Computational Logic for Applicative Common Lisp: source files Description-md5: 24b72fcd3b9c9afee8776f2d281499a4 Tag: devel::interpreter, devel::lang:lisp, field::mathematics, implemented-in::lisp, interface::text-mode, role::source, uitoolkit::ncurses Section: math Priority: optional Filename: pool/main/a/acl2/acl2-source_7.2dfsg-3_all.deb Size: 2886204 MD5sum: b5804f9d966ec8541908e6bc1eb725c8 SHA256: 37e62c243c27b443169b5755a1fc7f06ff9b63ecf6d83811fd74b787a1cb1b5f