-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 21 Jun 2013 23:14: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: source all amd64 Version: 6.1-5 Distribution: unstable Urgency: low 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.1-5) unstable; urgency=low . * reinstate skipped books and build depend on latest gcl Checksums-Sha1: 81dc25ae14f88c9a0d4cbd82f9434077df5d1ef6 1746 acl2_6.1-5.dsc 9b0081f0bc676071395cd1eeb9d215012fad241c 159774 acl2_6.1-5.debian.tar.gz e51111b04258c12a0d48d966a827be14d1822d77 3752314 acl2-source_6.1-5_all.deb dc25058aa6234edf302225f7fe776ac0193a5102 61608 acl2-emacs_6.1-5_all.deb 9810db63187657678f23fe440956453eba29a1e8 92452 acl2-infix-source_6.1-5_all.deb 8587ceabcdd1baad9a9a7b864a2db1b04958b21b 7481832 acl2-books-source_6.1-5_all.deb f8e457403d77b80b123f830d2e144c82b8cbf4ed 8836108 acl2-books-certs_6.1-5_all.deb 5f47957bec8f2168b87e9a069e4afb88178b0f15 12302312 acl2-doc_6.1-5_all.deb 7cd49efcc32edb34f2bbdeedf6700f8277d370fb 27659704 acl2_6.1-5_amd64.deb 02910717a12695821dbd53b146ae10c0793aa3b1 215474 acl2-infix_6.1-5_amd64.deb e3e54e289ad7e82be5ded5e9c1baccb088c3b85e 30684440 acl2-books_6.1-5_amd64.deb Checksums-Sha256: c161ba19648d9e48efd7f608b43846bac583f0a8550cb73cee7f29e895763706 1746 acl2_6.1-5.dsc 1b09d5fb1276cf3b7d1d946c10531d4077795e7d00cd30172d9397d5b59dfc0f 159774 acl2_6.1-5.debian.tar.gz 566903721a2f730e5ce161adebe94cde0896fd136a8c9804d39d33a332896f04 3752314 acl2-source_6.1-5_all.deb 4e79c7254a05cea71b18b16001aebcc083e2f7d1dc3d64208f59578fa74e1549 61608 acl2-emacs_6.1-5_all.deb 3c36f0327b7532adf35c7e5d1ce26c8c6361db648115f18dd88d8028095bfcca 92452 acl2-infix-source_6.1-5_all.deb 814f2550319679a44da2af773ae11f46b1004d733b347c0d4519d480991c8ce4 7481832 acl2-books-source_6.1-5_all.deb b6d677f935aa9468c3f4789a17a3f560708c518c95dada9e0e815441f0157e39 8836108 acl2-books-certs_6.1-5_all.deb 8b81acc81d3746d6f3c2bb852e1728c219006ffd937d28c0399cb3e435bcccaa 12302312 acl2-doc_6.1-5_all.deb f878e49b7c2e7f0ababfbea8646ed88d10b876b95fdf19e605cc5af0745b4920 27659704 acl2_6.1-5_amd64.deb 7f84c48d3340d54dc24a6e9d4b8a7b50007075858f660450422f3be779c8b15f 215474 acl2-infix_6.1-5_amd64.deb 87588c9624646c31cbe8514a2e7642b8cef6ee92e7d205eb10ee249744d97052 30684440 acl2-books_6.1-5_amd64.deb Files: 4ad03f127a09d7642028baabecdfe08c 1746 math optional acl2_6.1-5.dsc 42f864698b395839817e6780c098e2da 159774 math optional acl2_6.1-5.debian.tar.gz 9d0f2272becfb7b94c5ba990ea8b30e0 3752314 math optional acl2-source_6.1-5_all.deb 7cb24ae46c2943354032bc4da2831644 61608 math optional acl2-emacs_6.1-5_all.deb 71f1067ad6c8cfd43833435a3f04c004 92452 math optional acl2-infix-source_6.1-5_all.deb 0b5de51638fdede09ef9c976ae08a4ad 7481832 math optional acl2-books-source_6.1-5_all.deb 7cbada9514a627d47c283e1cd6e6bf88 8836108 math optional acl2-books-certs_6.1-5_all.deb 8a38a5e44a67dad030a6de6726bf9488 12302312 doc optional acl2-doc_6.1-5_all.deb 8f033dab5b0bbac9118c310d7b4b59a5 27659704 math optional acl2_6.1-5_amd64.deb 242044bd9a32813949e14a00aa054ba0 215474 math optional acl2-infix_6.1-5_amd64.deb d44945892b73771b2c50d11c06da9726 30684440 math optional acl2-books_6.1-5_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlHFmegACgkQczG1wFfwRdyulACfX8sJo8yn7cUNGttoHx+HnDMu oooAn1zHKxVGqM/wnPsBAw/39sZ/P8eo =oaWe -----END PGP SIGNATURE-----
