-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 24 Oct 2014 14:07:33 -0400 Source: acl2 Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc Architecture: source all amd64 Version: 6.5-3 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> 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 (6.5-3) unstable; urgency=medium . * build-dep latest gcl * abort centaur/vl/top cert if insufficient memory (mips autobuild) Checksums-Sha1: d0967ce1cc72ed4ece8b6e042c787226e1b5da86 1809 acl2_6.5-3.dsc 21c4b963f202077638327f866ce1f8be5ba37488 128424 acl2_6.5-3.debian.tar.xz fc1060f1d12232e9510999d5b85b0dfefe749fa7 2764506 acl2-source_6.5-3_all.deb 34963ab40b0f3e9babd7022dd8ca149a0ee524f7 60918 acl2-emacs_6.5-3_all.deb 2c56ae90e14d5fc28e6b85bb56591d5d40b25cad 79482 acl2-infix-source_6.5-3_all.deb a380b561a415eaf010f32a11f116e8ac1903e935 6957304 acl2-books-source_6.5-3_all.deb 1e4c19161134b1ae602000f1bc73748631e4ab0b 6499196 acl2-books-certs_6.5-3_all.deb 0f53106c7620475a4de4545ce588ea663c5c0d23 1671828 acl2-doc_6.5-3_all.deb dc66c20c0a41dc24f621e0f28acb3c256729346f 15539560 acl2_6.5-3_amd64.deb 7254eb77b1837f72a8b9f39e1e746bb8d2b05ed7 152978 acl2-infix_6.5-3_amd64.deb 1e6eb2a27000325288a5ef93ce5552ea5c851c57 23200136 acl2-books_6.5-3_amd64.deb Checksums-Sha256: c5acbb4ced4793f47e3bc222d918117dc9b95446d58063e27dee4e7b8f56b4a8 1809 acl2_6.5-3.dsc 36b18992921da7294c94777beae488b8a6aff17f394434cd6adbc9c44673d869 128424 acl2_6.5-3.debian.tar.xz 3db9468ddd1bde43732242817b2b3f34ee2e7f3a151d997bcf0466892ca1b796 2764506 acl2-source_6.5-3_all.deb b8069d375fb32d6ec4a2a3c4e948fb9860fc2a6f4a0f7269b33a9bad2a386756 60918 acl2-emacs_6.5-3_all.deb bf31a01a1e37f08256a2222fcfd1811138af2566f5ad4b7a5bd274763070f59a 79482 acl2-infix-source_6.5-3_all.deb b722f1dbb792b1fa93513582ea2ce963eaeed121102c9720651d4b0990f5b1a8 6957304 acl2-books-source_6.5-3_all.deb 7c1d52a305622cec725b03d07e3778862a27bedd46c239cfa36ce84604895794 6499196 acl2-books-certs_6.5-3_all.deb b6a73eacbfb3750f7b86001677d10f57de36e6414ad997fc8a46c6d50ced6bfa 1671828 acl2-doc_6.5-3_all.deb 386752e916fa84bf711b54fb8ba56c06d282599a07bbf14642950c11b6af4fbc 15539560 acl2_6.5-3_amd64.deb 7cc83e308ff5cf98e02dd6ffe45e71954242898d879e58be9750376cf32e645a 152978 acl2-infix_6.5-3_amd64.deb dc80ac8f11c9f801ebb6404d6b201c7244f42b7389c43cef11238cf96df28d85 23200136 acl2-books_6.5-3_amd64.deb Files: 24b526f25340a64a0c18a3ea4e233b27 1809 math optional acl2_6.5-3.dsc 503ba91c79e818322af81421adafb425 128424 math optional acl2_6.5-3.debian.tar.xz c80d8fd287d06b0faba983fe35826032 2764506 math optional acl2-source_6.5-3_all.deb fad21270824bc6593ead513c3b4a399f 60918 math optional acl2-emacs_6.5-3_all.deb 47bc9c45ba89686064fd28823c0cdfc7 79482 math optional acl2-infix-source_6.5-3_all.deb 8e9ddb2a8482591875ad104952e2eb36 6957304 math optional acl2-books-source_6.5-3_all.deb ec14885c44b9b14eae11e557012fceba 6499196 math optional acl2-books-certs_6.5-3_all.deb 64424f09fd58455e8bb5056996cf7f4a 1671828 doc optional acl2-doc_6.5-3_all.deb 957fa5c0e1ae36f60b8d6ba2d3f6b441 15539560 math optional acl2_6.5-3_amd64.deb 52a4a181d6b01c8f5cdedf95cb3f4b29 152978 math optional acl2-infix_6.5-3_amd64.deb da7247fdfe147db0416beba564f337a8 23200136 math optional acl2-books_6.5-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlRLl5MACgkQczG1wFfwRdwBoACgiA+SIHVgnlP2oei11KLyiUqd +CkAn0U8jNYztSIheD3xwGYqGmnAjMPx =ZZcq -----END PGP SIGNATURE-----