Accepted acl2 2.9.3-7 (source)

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

Origin: Debian/unstable
Format: 1.7
Date: Tue,  25 Oct 2005 01:51:24 +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.3-7
Distribution: dapper
Urgency: low
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: 323666
Changes: 
 acl2 (2.9.3-7) unstable; urgency=low
 .
   * build depend on >= gcl-2.6.7-11 to get default maxpage fix for amd64,
     Closes: #323666.
 .
 acl2 (2.9.3-6) unstable; urgency=low
 .
   * build depend on >= gcl-2.6.7-10 to get ppc gcc configure fix
Files: 
 a43c506519aab80de35ea44cf55d034f 805 math optional acl2_2.9.3-7.dsc
 5a8c004e36785341ae2fd94aae608381 20948 math optional acl2_2.9.3-7.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iQEVAwUBQ12BjAF4adwMEr3XAQKXTwgAlDM7BY6N7uTG+g1vatqY+VqFG4oj/uvW
RFJBanqepbgendpcwVooUwJGt4lThuHLQYXAjMgqJ3s8nTWPxeBIx95gSiuoegaY
S00nMWxmFIF3nqCB4LLe06guu/QEu+lVQ/0iZzrHTAUuRXavQGfFll2slms7JAvV
dKmMr7NiDWIUeNWqf45o8ghyTAph4/KSYbIMcJlJ03gPaRjvEZmx3c8QMtflsKPI
jGuTzjqM3GBVntVzgEqJxF6bnOOAlywn0scSEj2gA38h9ncsCQg93qyYN9dVsIM9
H2VJKAVwUkOZyaMoKSUXxigBGakAohV4gfnlbWgSPkKxs8SPM5HWpw==
=SYyc
-----END PGP SIGNATURE-----


Accepted:
acl2_2.9.3-7.diff.gz
  to pool/universe/a/acl2/acl2_2.9.3-7.diff.gz
acl2_2.9.3-7.dsc
  to pool/universe/a/acl2/acl2_2.9.3-7.dsc