Accepted acl2 6.3-5 (source all amd64 i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 18 Oct 2013 16:10:57 +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 i386
Version: 6.3-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.3-5) unstable; urgency=low
.
* rebuild against latest gcl
Checksums-Sha1:
75072af31be56c2b1ec70be5275efd2cac9d54a7 1749 acl2_6.3-5.dsc
a31d7204cedd39749ee29c4087eed66d908451e2 161480 acl2_6.3-5.debian.tar.gz
052cd963448e596f521b0b581d081b10ac82886b 2740582 acl2-source_6.3-5_all.deb
502565357b6820ee4c0a42aec0c3171d3755b8d6 52696 acl2-emacs_6.3-5_all.deb
de5af117e96d33c31577dcbefd1fea85ca5e9918 77594 acl2-infix-source_6.3-5_all.deb
2055b154b8bea0fa962b1f76ad41d6b1a4181c7b 5431780 acl2-books-source_6.3-5_all.deb
72277daeebeb79868f605519e23871a9c99b17ac 3624236 acl2-books-certs_6.3-5_all.deb
5be536bc4cc1b50b248acea41de415c8c0506ee7 14402260 acl2-doc_6.3-5_all.deb
8410691364b42663f3373bf0ed7874387b3565f8 16371674 acl2_6.3-5_amd64.deb
ad3a1f6bde2268743d6f67af2054961a31f06e27 151714 acl2-infix_6.3-5_amd64.deb
7d074c5f981a0409e5e54731baf8351725b50e16 19286394 acl2-books_6.3-5_amd64.deb
Checksums-Sha256:
fa96d454412549ed1e2658a47610872ead9174d3966a8cdef254defc3c164673 1749 acl2_6.3-5.dsc
7c3ee2b6bf1067ef6b75e09a82ebd2c6eb30fcc8ce0cbef5eed568801919a79d 161480 acl2_6.3-5.debian.tar.gz
5bebe5ecf6728c0b9c3e5a00015d765f76712f7d4454895121b9364cee4624b2 2740582 acl2-source_6.3-5_all.deb
93cd17181f66791dce5215df8154e18c5965932a160ccb2b364159c3ae2f71c6 52696 acl2-emacs_6.3-5_all.deb
d81e6db1312fb9c08af6262dba8c8a063ae19d3d592315b18c0bb011e679a9dd 77594 acl2-infix-source_6.3-5_all.deb
70bf4cabb398658997fc9b06e292ce389e83145c05f7ee58b18ae87b9cb59738 5431780 acl2-books-source_6.3-5_all.deb
b9034f9cb1691eab4aaaa15c8023de7f84fb003a9777ac5241416a14a49ff23c 3624236 acl2-books-certs_6.3-5_all.deb
77560c7648ac1ff3916716f8340f203151e5e919952bbcefe725968841564579 14402260 acl2-doc_6.3-5_all.deb
822cf7b6692da19721c277a84b13733d367be9a11f4f0469a6b7071006056628 16371674 acl2_6.3-5_amd64.deb
bfefae508a0032f8c0c678721f0e5c1d97dfa0622bb8ff0c4e6b55e2d90b679b 151714 acl2-infix_6.3-5_amd64.deb
87fbfa876ae53b1a7af5f1eccd1d86f053988fe8c79346b088c681f9c47dcb28 19286394 acl2-books_6.3-5_amd64.deb
Files:
b7468c365a4a26536d464d1e9cd52ab5 1749 math optional acl2_6.3-5.dsc
013599e699deba615e62693334cec111 161480 math optional acl2_6.3-5.debian.tar.gz
69fb655969ce5537185c6aa6075939ae 2740582 math optional acl2-source_6.3-5_all.deb
1cca0df2929edcd6c3b7bc5e281b5b3b 52696 math optional acl2-emacs_6.3-5_all.deb
128a5eb760a022617e6902c13c5022cf 77594 math optional acl2-infix-source_6.3-5_all.deb
4f22554727e6cf847a28e44098dee7a7 5431780 math optional acl2-books-source_6.3-5_all.deb
d773eac9e6e7615716fc090d36f98fa0 3624236 math optional acl2-books-certs_6.3-5_all.deb
045405fcdaafa8c869e7c73149a50396 14402260 doc optional acl2-doc_6.3-5_all.deb
60f4629e145c62d3b1669d96e1e80568 16371674 math optional acl2_6.3-5_amd64.deb
89a0b7815600071e79801f5274d1334d 151714 math optional acl2-infix_6.3-5_amd64.deb
dce19d27361eb7112d738033ec0f8c02 19286394 math optional acl2-books_6.3-5_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iEYEARECAAYFAlJitEIACgkQczG1wFfwRdwgVQCfUWyLS9JNVtSd83TJs89A2lAC
cesAn0bjhBOZ0QThV3pzF5HaF+MkhaW5
=xJYM
-----END PGP SIGNATURE-----