-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 20 Oct 2010 16:15:56 +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: 4.1-3
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@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: 599946 599998
Changes:
acl2 (4.1-3) unstable; urgency=low
.
* build-dep latest gcl
* Bug fix: "FTBFS on mips: Terminated", thanks to Cyril Brulebois
(Closes: #599946).
* Bug fix: "FTBFS on mipsel: Unrecoverable error: Segmentation
violation..", thanks to Cyril Brulebois (Closes: #599998).
Checksums-Sha1:
da3044ad4a25aa9ec1ec90da0e630e96271426b4 1194 acl2_4.1-3.dsc
a01705e1d8d67f8983e4bba9b76c2e0f8dfad5b1 17604 acl2_4.1-3.debian.tar.gz
940d9228010d1e183e4a20e729d35af02690fb59 3033590 acl2-source_4.1-3_all.deb
9354a8b8d36d3b87238cb6ddd1d7eef09b5ccafa 58540 acl2-emacs_4.1-3_all.deb
b2841d13b194c03db2ef8e3cd786a0bde56601d4 89470 acl2-infix-source_4.1-3_all.deb
08a1b7be55eb39fa5e1aeb579e838fb41b74b6c1 5309590
acl2-books-source_4.1-3_all.deb
1acc0e06d56783d3bf045e6f367c67155cf527de 2019420 acl2-books-certs_4.1-3_all.deb
ca3a33913aca10f24ae2983a8d12d6f34aaf59ac 2837476 acl2-doc_4.1-3_all.deb
57c22e92c17c0b3c5bedcf00b513a24bc61b7c14 21809474 acl2_4.1-3_i386.deb
bd2ac8213a3106cb5f2701df81f11deaea1586fe 390950 acl2-infix_4.1-3_i386.deb
addadba921ae8343bce38feb0f4bc517b8969fd4 34168196 acl2-books_4.1-3_i386.deb
Checksums-Sha256:
83559b7dc000275365c7e499554d6fac00c38cce017865313c6ad0b882f1220a 1194
acl2_4.1-3.dsc
914e583bce6d5fa463832ce20761fff5ee124e4df7e45b7bd5f59f5e8a09770c 17604
acl2_4.1-3.debian.tar.gz
f25c09f2ffa3849b0269958c03c204d9a5a7a21884883c2b29107de8496c18e2 3033590
acl2-source_4.1-3_all.deb
3b3a49e0b9ba19ef6949553dff7b14492b170c6364e2c8e3563fdf92d0cb78b7 58540
acl2-emacs_4.1-3_all.deb
a8d344c5dccb22188d14282eda7d427c03193ed291eb575d50b47f72963e1fcf 89470
acl2-infix-source_4.1-3_all.deb
f1811c8d23438a7e83dca7f8c5565ea0fa09b1806f45486a50cfaea6b6237f07 5309590
acl2-books-source_4.1-3_all.deb
922ca759c7dfac7309059b55bda623cb8c86e308e0ddbcd759c5b5d423d75f2f 2019420
acl2-books-certs_4.1-3_all.deb
e4d9844b53ba4f63eb2f704262b30f871d2beda5391c225df8df815dfd9a6ed6 2837476
acl2-doc_4.1-3_all.deb
925ed0537ec972eb18762afde0de04ef13bc7b5e8e8516d36d442bd7826e37ab 21809474
acl2_4.1-3_i386.deb
5dfb8986ced896a32c5c8689734c4198ac75d8e01b1f3e1309e77649c3703e75 390950
acl2-infix_4.1-3_i386.deb
1de676d977d711cdf53b621966cecdf36107dd7287ece37b5293e3e97907f6c5 34168196
acl2-books_4.1-3_i386.deb
Files:
8b39f5e3615ccd91e99389c02e552048 1194 math optional acl2_4.1-3.dsc
e80093b4121fa3dfd426d6497c9bf9c5 17604 math optional acl2_4.1-3.debian.tar.gz
a191e21182bb27b4668b0e465182ec89 3033590 math optional
acl2-source_4.1-3_all.deb
53f01c612b24cda39e0edf4295c928a1 58540 math optional acl2-emacs_4.1-3_all.deb
665367a058ace4f46539f58561ad4356 89470 math optional
acl2-infix-source_4.1-3_all.deb
21aa93ab01a451c4b3f0c0361ff47399 5309590 math optional
acl2-books-source_4.1-3_all.deb
24db2c16fbbb28051350b2892e08e5ad 2019420 math optional
acl2-books-certs_4.1-3_all.deb
d0641ad14480d15b724cd7aff14d1cbc 2837476 doc optional acl2-doc_4.1-3_all.deb
3c64b28eeeba44dff9ab0037978f0afd 21809474 math optional acl2_4.1-3_i386.deb
1b2aeb515ef0b3dc3d5527130cf93158 390950 math optional acl2-infix_4.1-3_i386.deb
99089d17a6d6f5439accf14bd3a6f57d 34168196 math optional
acl2-books_4.1-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAky/QnoACgkQczG1wFfwRdwoiwCgiUifYAL8NV80SvtyzmwJbQAn
c/8AoKkJ78sdtgSY56WwPTJ1jziYnKgG
=9Cq0
-----END PGP SIGNATURE-----
Accepted:
acl2-books-certs_4.1-3_all.deb
to main/a/acl2/acl2-books-certs_4.1-3_all.deb
acl2-books-source_4.1-3_all.deb
to main/a/acl2/acl2-books-source_4.1-3_all.deb
acl2-books_4.1-3_i386.deb
to main/a/acl2/acl2-books_4.1-3_i386.deb
acl2-doc_4.1-3_all.deb
to main/a/acl2/acl2-doc_4.1-3_all.deb
acl2-emacs_4.1-3_all.deb
to main/a/acl2/acl2-emacs_4.1-3_all.deb
acl2-infix-source_4.1-3_all.deb
to main/a/acl2/acl2-infix-source_4.1-3_all.deb
acl2-infix_4.1-3_i386.deb
to main/a/acl2/acl2-infix_4.1-3_i386.deb
acl2-source_4.1-3_all.deb
to main/a/acl2/acl2-source_4.1-3_all.deb
acl2_4.1-3.debian.tar.gz
to main/a/acl2/acl2_4.1-3.debian.tar.gz
acl2_4.1-3.dsc
to main/a/acl2/acl2_4.1-3.dsc
acl2_4.1-3_i386.deb
to main/a/acl2/acl2_4.1-3_i386.deb
--
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1p8gyy-0004kg...@franck.debian.org
