Accepted acl2 6.2-3 (source all amd64)
-----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-----