Accepted acl2 6.5-4 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 25 Oct 2014 09:01:06 -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-4
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-4) unstable; urgency=medium
.
* restore tick output for slow autobuilders
Checksums-Sha1:
a6eab89dc145440a2e842b3fc7e0300449897fca 1809 acl2_6.5-4.dsc
bb40513abf873e19e9a388fbbbae2113f9ba59f2 128480 acl2_6.5-4.debian.tar.xz
58d96a2f94affd21f2345e6317bdb4509f6aca43 2764724 acl2-source_6.5-4_all.deb
d82ce9a11b29127ca0f4394520393397b674e78d 60964 acl2-emacs_6.5-4_all.deb
94c42b9c46251dae90b666e3d5ae48ce9a2c5ee7 79588 acl2-infix-source_6.5-4_all.deb
3d7f7dc320eb4581ba4278565e5e8dd8232dd2d0 6957046 acl2-books-source_6.5-4_all.deb
6a31b340e0fb3028d2d021755930815ac0a1d0dd 6498764 acl2-books-certs_6.5-4_all.deb
cd2cd96a62f893baaded1efc794ba57a602de4a8 1671906 acl2-doc_6.5-4_all.deb
defa035d439d432d3066b4b29a93a3a9c5f7ddd7 15548040 acl2_6.5-4_amd64.deb
dfb60bb1c0ea83c44786bdd13c76f7d1ab6565b0 152644 acl2-infix_6.5-4_amd64.deb
93012684eac992ea63ae6a4f2bbe792c4a1c19c1 23237064 acl2-books_6.5-4_amd64.deb
Checksums-Sha256:
382f3bda27850ad0319882f2e9f0978488a8f838549ce74259ed4dbca58a30a0 1809 acl2_6.5-4.dsc
dbc749233b1dc8f1c365bbcde7b0120cb95a6e1f5a70991399827b6c68e043a2 128480 acl2_6.5-4.debian.tar.xz
7605423e47da449b95d54db4a32431e8925fd7d25b32bb5164b625550c34050c 2764724 acl2-source_6.5-4_all.deb
5d956cc9125ace7975cda25192d8a970ae88db0c6cb42d748cdad0293fde628e 60964 acl2-emacs_6.5-4_all.deb
6984d91c404529949ba0592e98b2ad88e8409238ebbbf3838de624b3eae026a8 79588 acl2-infix-source_6.5-4_all.deb
47188831afc2d59d8fbea599769aa388113f85ee546d919dfef0ebee3b1c8f72 6957046 acl2-books-source_6.5-4_all.deb
b1b5215eb2e4dbe7ca3d8fa34a34c28ac5c595c3a01e3b0e441afbbdc4fb19cc 6498764 acl2-books-certs_6.5-4_all.deb
5c7f54412afe9f6cdea07f0a2bc43755281691c7db777a0db5ca7516da68d34d 1671906 acl2-doc_6.5-4_all.deb
9636bc1613b5eb4b29839c50a53e9b21aedb8b9a356ddd9bbc6fba4bb3bc34f6 15548040 acl2_6.5-4_amd64.deb
017ffeff7f4cb00f70334be6fd0b43499820969f5067807798ef9e36eb138bca 152644 acl2-infix_6.5-4_amd64.deb
96f73b120a975f68b4a1e9189970f4c357c46f819f38756a28d8f55d6ac08a92 23237064 acl2-books_6.5-4_amd64.deb
Files:
845b3462a5f72b92009c71b747f5fbd2 1809 math optional acl2_6.5-4.dsc
bc52927e2c43a828b6d530fa82f2ca88 128480 math optional acl2_6.5-4.debian.tar.xz
8fb078e34ef387498506380f8c812893 2764724 math optional acl2-source_6.5-4_all.deb
4801f63a5783e7c38a979b1bc3d5d40a 60964 math optional acl2-emacs_6.5-4_all.deb
a2b43439173fc56a70ecdcaccffe64c3 79588 math optional acl2-infix-source_6.5-4_all.deb
d6368fc65c2c65b04e4ea8a289503849 6957046 math optional acl2-books-source_6.5-4_all.deb
9f89ba43e1f0e3fcf22320530337407e 6498764 math optional acl2-books-certs_6.5-4_all.deb
60368996919d5621504879ae39622afb 1671906 doc optional acl2-doc_6.5-4_all.deb
8f16fc346a31b18597698cde39f0ee93 15548040 math optional acl2_6.5-4_amd64.deb
4ae80a301fb2c3a3ee4ce5e829f11cd3 152644 math optional acl2-infix_6.5-4_amd64.deb
7798ae0a5aaec4a3dd72dee4f2d36721 23237064 math optional acl2-books_6.5-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlRM9SwACgkQczG1wFfwRdwDpACffH4xpP9Wlw9XjKd6AxbmeAtb
N+kAniOyIHYkaegu2IO3JX6vtY5RdtNv
=Uezi
-----END PGP SIGNATURE-----