-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 20 Jul 2013 02:21:17 +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.2-3 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.2-3) unstable; urgency=low . * build-dep against latest gcl Checksums-Sha1: 782296410e8a7ab9b31fb2804139bc1daf650ac9 1746 acl2_6.2-3.dsc a20f55e9888db14a01c0e8069fc78109ae34f9ad 160374 acl2_6.2-3.debian.tar.gz 7d8131b5093dbc409d30803d14b008fbe7767b98 3762284 acl2-source_6.2-3_all.deb 13e00ff613925e329ed0fcb6c20366381efcac5e 61766 acl2-emacs_6.2-3_all.deb 119581cc69300538a54df50b8c4bc5bbac986cb6 92596 acl2-infix-source_6.2-3_all.deb 38bf93fea01897eda1b043116ffc133b528fcf9d 7676284 acl2-books-source_6.2-3_all.deb 51a5007294981b9beb1ff0dbd1cb8f8f6831d93b 10236764 acl2-books-certs_6.2-3_all.deb 8a956bf2856285c9ae7d86531e0f6f314f49c5d2 12511376 acl2-doc_6.2-3_all.deb b4994dccffe026b1aba75f7d9db9473d39e3fcb5 28063302 acl2_6.2-3_amd64.deb 099c248c19a33abad994935482a73835eed00c75 211174 acl2-infix_6.2-3_amd64.deb a276afc7ea169a5e449dd3a219c086b8faffeb06 35757822 acl2-books_6.2-3_amd64.deb Checksums-Sha256: 8736f3f38f8cce37837452bf555d7edb92813cd9ba284c071526eb5d3748bce9 1746 acl2_6.2-3.dsc ad5bb71cfcea4790b6d72acceab10b07996af8fe5bf664abb04256f1a646ea0d 160374 acl2_6.2-3.debian.tar.gz 4fbfb0743388d26d238f329824a041ee73161d414263ddb2434df86862fcdf51 3762284 acl2-source_6.2-3_all.deb afeeaa517dd97f6dc2c8071ae1cba355c394aff7d919eecedee2b03765574724 61766 acl2-emacs_6.2-3_all.deb d983773c97399e2a9e4d9c3472d280942c0340884718af183b464a6e6a61c5a0 92596 acl2-infix-source_6.2-3_all.deb eb8df357e30a35a359a236728906b3781c26b7d712207e71bcc99813d0cec0db 7676284 acl2-books-source_6.2-3_all.deb e4c0a991484c03bd9f925ad67f7487fd4e3e1e679835b0771525452c64ed74d0 10236764 acl2-books-certs_6.2-3_all.deb 4c50efdd5f3c4d00777fb8cfe8d06d648ed006850a107c3d1653737344c506b9 12511376 acl2-doc_6.2-3_all.deb 71d7b096abbfdb04f7937592664f7d8cee3f95b0cafd1cc65db613d9263d50f8 28063302 acl2_6.2-3_amd64.deb 9b1025502b470d7754deac213ffff86c163000cbf48d6766c30eba6971b2e03f 211174 acl2-infix_6.2-3_amd64.deb f9795e608a9b9c83cb31691d071907e8423867af782aea92fb3794d76dbce068 35757822 acl2-books_6.2-3_amd64.deb Files: ac5f4c573b1e9b62ad579f61b9efe05a 1746 math optional acl2_6.2-3.dsc 8717a34c5939caded26f7d0024cd5d44 160374 math optional acl2_6.2-3.debian.tar.gz 2f34cee3c01efe3000ed6b4a21674134 3762284 math optional acl2-source_6.2-3_all.deb 142eb59cc988cce1e0b1d459f9d7650a 61766 math optional acl2-emacs_6.2-3_all.deb aa6b79f41367173f85b5459e92a27bf3 92596 math optional acl2-infix-source_6.2-3_all.deb 5366e052e22aaf9ca612cb38f0349081 7676284 math optional acl2-books-source_6.2-3_all.deb 7820ce455a67f61739dbc8f6a0a1f5c7 10236764 math optional acl2-books-certs_6.2-3_all.deb e57f07d21be1a4cc4e684c9a4c62c126 12511376 doc optional acl2-doc_6.2-3_all.deb 424d5544fb37d19d2ac4af977d4aeba9 28063302 math optional acl2_6.2-3_amd64.deb 204366fd6b0214cb0720c5b5c6b0d16c 211174 math optional acl2-infix_6.2-3_amd64.deb b15ae1eeedeac43d297f36bacbc4d924 35757822 math optional acl2-books_6.2-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlHqkQoACgkQczG1wFfwRdwc+ACfVV8aCm1G2wsJP7KZtFEBVugH OIEAnAvmiq1hdKfekqTo/OW3Ado0d/N8 =nf6v -----END PGP SIGNATURE-----
