-----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-----
