Accepted acl2 2.9.1-1 (source)

[Ubuntu Archive Auto-Sync]

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

Origin: Debian/unstable
Format: 1.7
Date: Wed,  13 Apr 2005 13:15:42 +0100
Source: acl2
Binary: acl2-books-source, acl2-infix, acl2-books, acl2-books-certs, acl2-doc, acl2, acl2-emacs, acl2-infix-source, acl2-source
Architecture: source
Version: 2.9.1-1
Distribution: breezy
Urgency: high
Maintainer: Camm Maguire <camm at enhanced.com>
Changed-By: Ubuntu Archive Auto-Sync <katie at jackass.ubuntu.com>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
Closes: 284780
Changes: 
 acl2 (2.9.1-1) unstable; urgency=high
 .
   * New upstream release
   * Bug fix: "acl2: :system dir is wrong", thanks to Patrick Calhoun
     (Closes: #284780).  Apologies, had inadvertently reverted previous
     fix.  Now include a GNUmakefile patch setting ACL2_BOOKS_DIR.
 .
 acl2 (2.9-3) unstable; urgency=low
 .
   * Update README.Debian regarding building auxiliary workshops and
     non-std packages
Files: 
 27e65ac3afdd869c4f813f75d4f2324c 5244150 math optional acl2_2.9.1.orig.tar.gz
 886e81c9e6ee339b6309c9f1ff3a48f9 800 math optional acl2_2.9.1-1.dsc
 d29b4e039ef3ad6e033a3491ed07a42d 18985 math optional acl2_2.9.1-1.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iQEVAwUBQl0NbgF4adwMEr3XAQKsTgf9G4X2fszcQiEvBv0s9w7rZOeeebMtELA7
wN4+6N5ShGcyoWcC9Fit1x9lQg0b6O/xFQihJDBTI+jVOEqFNFjAOMjuL/ZVac8l
+trrMtj106V7L867+lNOac5ef8c+Nikhdbzc23fPav5FMH8GD0xm/XCjG134Wb8i
zczyqYB4q9LZwgfFO92hWgOZegU3O3P2MNwoheSshfXYnYPPGYEITdyu7BlPQa0z
v0dT3THtrRd1F6UZkuiRhq9dZkuuq8WApx9s9DmMeo/z2D4PnkyELXIeIAofDIP8
7MOv/KY4FlhC8PhscS7lIZmnQbQtRkYHNfQ0Kq3tMVrqPLMclHIPVg==
=Mrcn
-----END PGP SIGNATURE-----


Accepted:
acl2_2.9.1-1.diff.gz
  to pool/universe/a/acl2/acl2_2.9.1-1.diff.gz
acl2_2.9.1-1.dsc
  to pool/universe/a/acl2/acl2_2.9.1-1.dsc
acl2_2.9.1.orig.tar.gz
  to pool/universe/a/acl2/acl2_2.9.1.orig.tar.gz