Accepted acl2 3.6-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 03 Jan 2010 13:26:38 +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 i386
Version: 3.6-2
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description:
acl2 - A Computational Logic for Applicative Common Lisp: main binary
acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
acl2-doc - A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 505812 562207
Changes:
acl2 (3.6-2) unstable; urgency=low
.
* Bug fix: "FTBFS [alpha, hppa] - getprop.cert: No such file or
directory", thanks to dann frazier (Closes: #562207). Build-depend on
gcl >= 2.6.7-51.
* Bug fix: "adds non-existent TAGS file to tag file list", thanks to
Timo Juhani Lindfors (Closes: #505812). Don't automatically load tags
table.
Checksums-Sha1:
95c8990197a499d5566b05280d06574ddc3d9f2a 1168 acl2_3.6-2.dsc
a28cf408dc7c6a2389ee2f27e58882dee1dd54f3 14103 acl2_3.6-2.diff.gz
285a73fe948de472c03d592301b543dd370d82b2 2739690 acl2-source_3.6-2_all.deb
df024aff0c6527c16f945c928b6304b4c73f109e 57714 acl2-emacs_3.6-2_all.deb
34342ecc741fbe55a62eb2fca08ca005fc6871d9 88958 acl2-infix-source_3.6-2_all.deb
c9bc73014a8c55eb32ec193218f9b7bd8dbd77da 5130896 acl2-books-source_3.6-2_all.deb
602bfeffa3a6b3c5e8fa3f44768d9fd277d0b102 1986442 acl2-books-certs_3.6-2_all.deb
30e03818ac8af4d165042e9caeea6c00462a12c0 2459652 acl2-doc_3.6-2_all.deb
416c635b76ea7466452f8ae3455595ebb79dd270 20533842 acl2_3.6-2_i386.deb
5d99c634ddb3b7a01e9826332eb5bd8d9d75f627 391614 acl2-infix_3.6-2_i386.deb
d9b63cfc42de764b0815358125e65463eb1b75b2 30134592 acl2-books_3.6-2_i386.deb
Checksums-Sha256:
4e01aad6dcc32ef9350ff1ab953867dd5f951c996310b55344d187a158f1973d 1168 acl2_3.6-2.dsc
69ba00e3e05c3d9ecd364455bf78b7a755d02dd34c395938c3eb09c67c3c2828 14103 acl2_3.6-2.diff.gz
14c040168af9560eb0df0c1a19d58e52332655fbb31dfdf11851b1cf06cbfde0 2739690 acl2-source_3.6-2_all.deb
bd97475eb47acd6e8c5038663d74557aec16ed06f4ed3430db27fdfd6d9a03b8 57714 acl2-emacs_3.6-2_all.deb
3ed32470a1fda06b7d3fd428429e11aa26cb6115d67159f5fcf3f0466f02dce9 88958 acl2-infix-source_3.6-2_all.deb
bfe13eee152bbdd2030c07a2404a21f7cdd336ee581be904f1712a2b01e8097c 5130896 acl2-books-source_3.6-2_all.deb
bdb4afa5893b8d4d82134f8902da4016cd5af82c9bb335d25dbf1323230f32f7 1986442 acl2-books-certs_3.6-2_all.deb
5fdc01cbe340c4a7b7a35c567518ed5a110fb421463454b0c88e2eebd2b494f8 2459652 acl2-doc_3.6-2_all.deb
7cea582fbef94ab156b9ab94d8d45020478833eb65ce9a923f35f247ea6de89f 20533842 acl2_3.6-2_i386.deb
8f3644db82e87d2f92ee2c0861edaaac4e5fc0c5e1c72368e1527264b30663fc 391614 acl2-infix_3.6-2_i386.deb
d95bac2b30953a29a1b7085b7d4f72f96409aa4d004af5e6b5ff1890d6dc21cd 30134592 acl2-books_3.6-2_i386.deb
Files:
207952887fbe672d55b0dffc2efd082f 1168 math optional acl2_3.6-2.dsc
a846a63b10185cbe9effef2065f0f6a8 14103 math optional acl2_3.6-2.diff.gz
d9a3f86141a93a2f8f2e8c51449d5253 2739690 math optional acl2-source_3.6-2_all.deb
b09ea398c757324efabc9ac69748af33 57714 math optional acl2-emacs_3.6-2_all.deb
953b935671f594ced32f6fd8bc34ec3f 88958 math optional acl2-infix-source_3.6-2_all.deb
0827a93a10d5753d4658791e69503703 5130896 math optional acl2-books-source_3.6-2_all.deb
ccaa819991c7fc181a02f2756c88b5c3 1986442 math optional acl2-books-certs_3.6-2_all.deb
613e70f5720f11cccc151df6ec3d74f0 2459652 doc optional acl2-doc_3.6-2_all.deb
a0fdc219df1ff4554e8689f75a6465af 20533842 math optional acl2_3.6-2_i386.deb
fb50b1e6d4d461a33576d94f604be1f2 391614 math optional acl2-infix_3.6-2_i386.deb
c851ac25611aac64a4830e43cb7fc8a9 30134592 math optional acl2-books_3.6-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAktAvJgACgkQczG1wFfwRdxPvQCgoOf1PY/IvQc1DnzbLu4cj7sL
RJAAoIPgK1WeZ60IfuPgCtddEprv6B6w
=qOys
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_3.6-2_all.deb
to main/a/acl2/acl2-books-certs_3.6-2_all.deb
acl2-books-source_3.6-2_all.deb
to main/a/acl2/acl2-books-source_3.6-2_all.deb
acl2-books_3.6-2_i386.deb
to main/a/acl2/acl2-books_3.6-2_i386.deb
acl2-doc_3.6-2_all.deb
to main/a/acl2/acl2-doc_3.6-2_all.deb
acl2-emacs_3.6-2_all.deb
to main/a/acl2/acl2-emacs_3.6-2_all.deb
acl2-infix-source_3.6-2_all.deb
to main/a/acl2/acl2-infix-source_3.6-2_all.deb
acl2-infix_3.6-2_i386.deb
to main/a/acl2/acl2-infix_3.6-2_i386.deb
acl2-source_3.6-2_all.deb
to main/a/acl2/acl2-source_3.6-2_all.deb
acl2_3.6-2.diff.gz
to main/a/acl2/acl2_3.6-2.diff.gz
acl2_3.6-2.dsc
to main/a/acl2/acl2_3.6-2.dsc
acl2_3.6-2_i386.deb
to main/a/acl2/acl2_3.6-2_i386.deb
Reply to: