Accepted acl2 6.1-5 (source all amd64)
-----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-----