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