Format: 1.8 Date: Fri, 12 Jan 2018 14:04:36 +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: 8.0dfsg-1 Distribution: bionic Urgency: medium Maintainer: Launchpad 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 (8.0dfsg-1) unstable; urgency=medium . * New upstream release * Applied dfsg changes from 7.1 * build-dep latest gcl Checksums-Sha1: d1df41c6ef621c79d5cdbbb8af6c69be883dc9cb 119435240 acl2-books_8.0dfsg-1_i386.deb 3cd39f13d110bfd2631e8a278b1aad26f0390fb8 392732 acl2-infix_8.0dfsg-1_i386.deb 6566155c372013e39a8ff35a15b8cc5853e676fd 10362 acl2_8.0dfsg-1_i386.buildinfo 8131f184b97a86e4d278882fd5f45bd6af542584 17463140 acl2_8.0dfsg-1_i386.deb Checksums-Sha256: 0de190ba1f4d80eb9398ae30048352e5aa2177a26d025708f85b1fb691c926ae 119435240 acl2-books_8.0dfsg-1_i386.deb b3fde5d2292a92e65c3c7ed963fd28f6d592ac78657396842f5872d1ed7b79cd 392732 acl2-infix_8.0dfsg-1_i386.deb f1fcdb13272bb3799f4ebe01e90bab31d7581f7b60a36cc0138362db88a49c07 10362 acl2_8.0dfsg-1_i386.buildinfo 2c47c11c7eaa72cf3c2d60c93e25168ac731f638d7a642c8a98a4a2a7a0a4ea3 17463140 acl2_8.0dfsg-1_i386.deb Files: e4359738bc4b6535e260be97df9cb0de 119435240 math optional acl2-books_8.0dfsg-1_i386.deb 69d08a9df6385153c5a46af4caa07231 392732 math optional acl2-infix_8.0dfsg-1_i386.deb 953fac72c9114430f0f2ae9398751299 10362 math optional acl2_8.0dfsg-1_i386.buildinfo 672c15c2e886e5cf5eacf060a4867ce1 17463140 math optional acl2_8.0dfsg-1_i386.deb