Format: 1.8 Date: Fri, 29 May 2015 14:33:46 +0000 Source: acl2 Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc Architecture: i386 Version: 7.1-1 Distribution: wily-proposed Urgency: medium Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Camm Maguire Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific acl2-books-source - Computational Logic for Applicative Common Lisp: library sources acl2-doc - Computational Logic for Applicative Common Lisp: documentation acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface acl2-infix - Computational Logic for Applicative Common Lisp: infix interface acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source acl2-source - Computational Logic for Applicative Common Lisp: source files Changes: acl2 (7.1-1) unstable; urgency=medium . * New upstream release * build-dep latest gcl Checksums-Sha1: 996d43365f6fdfabcbcc8f8068bdd3f324d01aba 16463104 acl2_7.1-1_i386.deb eab0f5149c15e7b2313605b19f838071c376b255 145560 acl2-infix_7.1-1_i386.deb f7d9595a62b7e943ac386c86dd73356493334a24 18602828 acl2-books_7.1-1_i386.deb Checksums-Sha256: bdaa575997a8b8a6a50f8bccd43af21baf9b8f73378ca5a310b772e036fd3e32 16463104 acl2_7.1-1_i386.deb 1365e4ecd62f56288a4800d5ae54507603403441be3a190f2d0bffb501ea7627 145560 acl2-infix_7.1-1_i386.deb d2855d35e08f9a57bc206822a6b28b85821fce873d8dab93cfd6a7af7bf98f03 18602828 acl2-books_7.1-1_i386.deb Files: 4623a780282583217791b1566f4e2e79 16463104 math optional acl2_7.1-1_i386.deb 6c839f7317d168370a30d91a78a6afb1 145560 math optional acl2-infix_7.1-1_i386.deb 3a5be7bbebb72c0823b5bf6bf6acee30 18602828 math optional acl2-books_7.1-1_i386.deb