Accepted acl2 3.6-3 (source all i386)

[Camm Maguire <camm@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 04 Jan 2010 18:12:16 +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-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: 563604
Changes: 
 acl2 (3.6-3) unstable; urgency=low
 .
   * Bug fix: "FTBFS on kfreebsd-i386: /bin/sh: line 1: 42209 Segmentation
     fault gcl &lt; workxxx", thanks to Cyril Brulebois (Closes: #563604).
Checksums-Sha1: 
 1f610dc680c86595f79e163fa9193672f3497350 1168 acl2_3.6-3.dsc
 aebaa503470fd63eb7dd06c687cbb4610b9c6cf5 14336 acl2_3.6-3.diff.gz
 af2d144de81f9b5dc48e7adce4bcc870ba1a6425 2739784 acl2-source_3.6-3_all.deb
 7a38b113ab8bf5c45b7db1270706338dc34234bc 57812 acl2-emacs_3.6-3_all.deb
 fda78e3dd7f66792b957e0c8b755620160ccf55c 89040 acl2-infix-source_3.6-3_all.deb
 b3bfa9a58891ed0f88462af5f33e3fae87e5897d 5131076 acl2-books-source_3.6-3_all.deb
 b9e9255e756b4f67aa791e2487a501a8d62b8e74 1986558 acl2-books-certs_3.6-3_all.deb
 59637e3c4ee0af814cbe5d5a842c61b7a41d15e7 2459760 acl2-doc_3.6-3_all.deb
 cabb7d48c1bdd4f64c22e31eec6e5463b15c1342 20532350 acl2_3.6-3_i386.deb
 5c7b7f89a412221d2ac3eb444e4f5b2f5d20520b 391696 acl2-infix_3.6-3_i386.deb
 97a7dd050acb04842527cef18cb3b1ba31cfb792 30134838 acl2-books_3.6-3_i386.deb
Checksums-Sha256: 
 79acae8303d4ae71d7bda37845cf8aa14e79f08e64dbec803d60cad9b22aa1b8 1168 acl2_3.6-3.dsc
 8de3ce36544b49a057608f38118eb5e61eb6e3c46dcd68695318d6298c72b1d5 14336 acl2_3.6-3.diff.gz
 8a02c7d3d539635944ee02bb024b2af6febb80a7e982fb1c11661d376c088fe0 2739784 acl2-source_3.6-3_all.deb
 2c178e8109892a73117bbde71d2f0aa140e15b1530a9e7270f3a3484f6d6c6fb 57812 acl2-emacs_3.6-3_all.deb
 1f5886db77e080d0b3f2d3ea739f914f4f2a92eccab8434c831eb2604705db0e 89040 acl2-infix-source_3.6-3_all.deb
 a00b5cf38cdaa436d232fb65a82600554d0e8f786f34fe5ef4e4fdfbeda92335 5131076 acl2-books-source_3.6-3_all.deb
 056d47269ae88d58488af6d0f79534b12136871c85bfa086bc95a778f0d4556e 1986558 acl2-books-certs_3.6-3_all.deb
 e6a6188b0499aa6724cc582b67ab73d78b31c1608d7c9005c1358f2f456735dc 2459760 acl2-doc_3.6-3_all.deb
 c2cc7b8fc3732339135111f35dd9edb286a196252892da39d6310831205b1405 20532350 acl2_3.6-3_i386.deb
 47c95bba8ce1e3367b2c668eb105e2ab48a2fe665efe12e0b6fd857226f5390f 391696 acl2-infix_3.6-3_i386.deb
 a208dbfae02b99d3001311f0d9f33f66c4ecced581731b979ccf65d121f9886f 30134838 acl2-books_3.6-3_i386.deb
Files: 
 1be8f17bc1ad03fe10759585e67241ea 1168 math optional acl2_3.6-3.dsc
 12d28c1fb2618449e08ef30faf5fd5e6 14336 math optional acl2_3.6-3.diff.gz
 706ff7c1c40cea17c27347a28a2d8c92 2739784 math optional acl2-source_3.6-3_all.deb
 5dfe80a5e197f79666eb0e1c5c4eb9ee 57812 math optional acl2-emacs_3.6-3_all.deb
 7b4489832b5f76094fa9ee2425897779 89040 math optional acl2-infix-source_3.6-3_all.deb
 5bc3932e36de4c7ccceac17a09a30900 5131076 math optional acl2-books-source_3.6-3_all.deb
 36b3f5ce9e661d30e3b412e46fbcbb0a 1986558 math optional acl2-books-certs_3.6-3_all.deb
 b16095af0f3b67dd866b7401a9b39296 2459760 doc optional acl2-doc_3.6-3_all.deb
 e8beb0ce81d0570ef00923ec4826466d 20532350 math optional acl2_3.6-3_i386.deb
 e865e0dc6fc2f8b198e3cc0eb7b6a642 391696 math optional acl2-infix_3.6-3_i386.deb
 74bf16a70a7c55c0f16cc7e27edf3612 30134838 math optional acl2-books_3.6-3_i386.deb

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

iEYEARECAAYFAktCWZQACgkQczG1wFfwRdzOKQCeMxFGmXOdqAe+wkeAXmBGt8d3
1EwAoLlUvGmx0dri+hhpG6bqUutJa3WR
=7wI0
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_3.6-3_all.deb
  to main/a/acl2/acl2-books-certs_3.6-3_all.deb
acl2-books-source_3.6-3_all.deb
  to main/a/acl2/acl2-books-source_3.6-3_all.deb
acl2-books_3.6-3_i386.deb
  to main/a/acl2/acl2-books_3.6-3_i386.deb
acl2-doc_3.6-3_all.deb
  to main/a/acl2/acl2-doc_3.6-3_all.deb
acl2-emacs_3.6-3_all.deb
  to main/a/acl2/acl2-emacs_3.6-3_all.deb
acl2-infix-source_3.6-3_all.deb
  to main/a/acl2/acl2-infix-source_3.6-3_all.deb
acl2-infix_3.6-3_i386.deb
  to main/a/acl2/acl2-infix_3.6-3_i386.deb
acl2-source_3.6-3_all.deb
  to main/a/acl2/acl2-source_3.6-3_all.deb
acl2_3.6-3.diff.gz
  to main/a/acl2/acl2_3.6-3.diff.gz
acl2_3.6-3.dsc
  to main/a/acl2/acl2_3.6-3.dsc
acl2_3.6-3_i386.deb
  to main/a/acl2/acl2_3.6-3_i386.deb