Back to acl2 PTS page

Accepted acl2 4.3-3 (source all i386)

To: debian-devel-changes@lists.debian.org
Subject: Accepted acl2 4.3-3 (source all i386)
From: Camm Maguire <camm@debian.org>
Date: Fri, 20 Apr 2012 19:39:50 +0000
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1SLJgM-0000BF-Mn@franck.debian.org>
Reply-to: debian-devel@lists.debian.org
Sender: Archive Administrator <dak@franck.debian.org>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 20 Apr 2012 12:59:26 +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.3-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
Closes: 669380 669442
Changes: 
 acl2 (4.3-3) unstable; urgency=low
 .
   * Bug fix: "unowned file /usr/local/share/texmf/ls-R after purge (policy
     6.8, 9.1.2)", thanks to Andreas Beckmann (Closes: #669380).
   * Bug fix: "FTBFS: | /«PKGBUILDDIR»/books/tools/defsum.c:7456:5: error:
     expected expression before &#39;)&#39; token", thanks to Lucas
     Nussbaum (Closes: #669442).  Build-dep on latest gcl
Checksums-Sha1: 
 51029682e20576164247a4b232e13d0a9f84459d 1491 acl2_4.3-3.dsc
 84449333d54b93b8f044d334c7a85f03b9dd621b 18297 acl2_4.3-3.debian.tar.gz
 d3195c24e137d0445b55d0444884ae41e4785084 3289530 acl2-source_4.3-3_all.deb
 2c1b31e96c073af7aceb2f68f0582291f6686a49 60860 acl2-emacs_4.3-3_all.deb
 7c8edbd1fcaf0e58c4ae0c8ae121c8d09e2a80d6 91494 acl2-infix-source_4.3-3_all.deb
 91b8a3aae298d4a23c735dd5e439e06d953dc5d2 6462160 acl2-books-source_4.3-3_all.deb
 3568dcea2580b783596618a801ea77f957d6aa6f 4426578 acl2-books-certs_4.3-3_all.deb
 08419403a6a4c635316413a182700173308f2708 362274 acl2-doc_4.3-3_all.deb
 4ef9e862e55f15d6bac49a895aa5fca032c505f2 24297636 acl2_4.3-3_i386.deb
 8df0135be00b664f5720383e2c2802f124c4f943 184088 acl2-infix_4.3-3_i386.deb
 223241b882618f7c4f50f6963f2eb4c3e5f56b19 13895640 acl2-books_4.3-3_i386.deb
Checksums-Sha256: 
 8db8ed48703873c62c7ca5f7f274e30cfb12b3fb68419c69f9dfc3f15d58b5ed 1491 acl2_4.3-3.dsc
 938d0330d59f3971a8670016c9227c670a74c632d182c4fadb17aed4b45cc32e 18297 acl2_4.3-3.debian.tar.gz
 4d2a0dc2c2cd47b57b5dec398c7bd8b4ac5e6b1a766ee98f6d8b854f2a03ff88 3289530 acl2-source_4.3-3_all.deb
 0195e3ee66ec5fd52f6362305162c485a46ffdabcd607f41aa91fb0a7fbb41ab 60860 acl2-emacs_4.3-3_all.deb
 4030b2e68c52889693dde13ed4407df1aea76926fd3efbf15d77a28681532383 91494 acl2-infix-source_4.3-3_all.deb
 97c8eab1f18a5521203b25b7ea3d758eb749f372a568e5b152045b3a949f01c2 6462160 acl2-books-source_4.3-3_all.deb
 415d24bb9ad78f1cea3c852da8ed9f8cf6c765289e3ea122cae67ff6921b3203 4426578 acl2-books-certs_4.3-3_all.deb
 1c275c4b58e75c57df7be9ed9a3e43ef1343c682eaa392f4e8fc47ab0350495b 362274 acl2-doc_4.3-3_all.deb
 21c98d880171af78353b87725bf7cf8ef775afada390b27b5bbf249b0c2a82cb 24297636 acl2_4.3-3_i386.deb
 292666a37c2415fd670792d2a0d33ebe127a104a6781fd203e14ce64e4a032bf 184088 acl2-infix_4.3-3_i386.deb
 067c3a1e4b391d21c4d505d98ed1ba6b668d763a46f67c2e11a0b0d581e445dd 13895640 acl2-books_4.3-3_i386.deb
Files: 
 687cd9fea72446676f08342bf4929d69 1491 math optional acl2_4.3-3.dsc
 70de5d35a059386d3bde1dd73f27683c 18297 math optional acl2_4.3-3.debian.tar.gz
 9439182b795379ee5899ac5b850bc84c 3289530 math optional acl2-source_4.3-3_all.deb
 0410ac5705f626479a52f1d230bd07a3 60860 math optional acl2-emacs_4.3-3_all.deb
 90232a851ac5c91862ea709c4094844c 91494 math optional acl2-infix-source_4.3-3_all.deb
 ba948f82602a6c1f05d14d8da6e10a0c 6462160 math optional acl2-books-source_4.3-3_all.deb
 e06197131b80eb9e47b24ea391b8c6f1 4426578 math optional acl2-books-certs_4.3-3_all.deb
 8604f845e8c52c8b02ce6f2daecfce1b 362274 doc optional acl2-doc_4.3-3_all.deb
 ed1c41edead28de9d2b448448fcbd66b 24297636 math optional acl2_4.3-3_i386.deb
 bf38c670dd19779623b5defe3d9b64e2 184088 math optional acl2-infix_4.3-3_i386.deb
 151675cce77c1e65f476e9417f27268e 13895640 math optional acl2-books_4.3-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAk+Rt3oACgkQczG1wFfwRdy7rQCdEWSxvgAjpiJf0ik2XEF6V+Dh
8q0An00Qq9tHOSs+bISdCBdTi1sOBJaK
=AY3g
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_4.3-3_all.deb
  to main/a/acl2/acl2-books-certs_4.3-3_all.deb
acl2-books-source_4.3-3_all.deb
  to main/a/acl2/acl2-books-source_4.3-3_all.deb
acl2-books_4.3-3_i386.deb
  to main/a/acl2/acl2-books_4.3-3_i386.deb
acl2-doc_4.3-3_all.deb
  to main/a/acl2/acl2-doc_4.3-3_all.deb
acl2-emacs_4.3-3_all.deb
  to main/a/acl2/acl2-emacs_4.3-3_all.deb
acl2-infix-source_4.3-3_all.deb
  to main/a/acl2/acl2-infix-source_4.3-3_all.deb
acl2-infix_4.3-3_i386.deb
  to main/a/acl2/acl2-infix_4.3-3_i386.deb
acl2-source_4.3-3_all.deb
  to main/a/acl2/acl2-source_4.3-3_all.deb
acl2_4.3-3.debian.tar.gz
  to main/a/acl2/acl2_4.3-3.debian.tar.gz
acl2_4.3-3.dsc
  to main/a/acl2/acl2_4.3-3.dsc
acl2_4.3-3_i386.deb
  to main/a/acl2/acl2_4.3-3_i386.deb