Package: acl2-books-source Priority: optional Section: universe/math Installed-Size: 36568 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: all Source: acl2 Version: 4.2-1 Replaces: acl2 (<= 2.7-9) Depends: acl2 (>= 4.2-1) Conflicts: acl2 (<= 2.7-9) Filename: pool/universe/a/acl2/acl2-books-source_4.2-1_all.deb Size: 5119974 MD5sum: 2973ee30431fc32ac362dbe33c95892a SHA1: d9d340cb55b681972e288d792a81295e1ede7cd0 SHA256: 66ce8673160aacac002dc9bb63f0e2c28144a5fd12dddfee37dc32014b140b91 Description: A Computational Logic for Applicative Common Lisp: library sources Description-md5: 27f2c11286f6e92a0460cab1e9c91894 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu