Accepted acl2 2.9.3-5 (source)

[Stephan Hermann]

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

Origin: Debian/unstable
Format: 1.7
Date: Sat,  08 Oct 2005 15:50:04 +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-5
Distribution: breezy
Urgency: high
Maintainer: Camm Maguire <camm at enhanced.com>
Changed-By: Stephan Hermann <sh at sourcecode.de>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
Changes: 
 acl2 (2.9.3-5) unstable; urgency=low
 .
   * build depend on >= gcl 2.6.7-8 for 64bit fasd data/fixnum fix
 .
 acl2 (2.9.3-4) unstable; urgency=low
 .
   * build depend on >= gcl 2.6.7-8 for 64bit bignum/fixnum fix
 .
 acl2 (2.9.3-3) unstable; urgency=low
 .
   * Build-depend on gcl >= 2.6.7-7 to get dlopen fix needed for mips,
     alpha, hppa, and ia64
   * rework build strategy switching based on the native-reloc feature in
     the installed gcl.
 .
 acl2 (2.9.3-2) unstable; urgency=high
 .
   * Depend on gcl 2.6.7-6 or greater with its own binutils included,
     remove dependency on binutils-dev
 .
 acl2 (2.9.3-1) unstable; urgency=low
 .
   * New upstream release
   * probe-file -> truename *infix-directory* patch for gcl 2.6.7
Files: 
 684710c71ff418ec4a7a5f5b67bae8e0 5412099 math optional acl2_2.9.3.orig.tar.gz
 1c1a0526941bed4d872815fd0fd87a65 19826 math optional acl2_2.9.3-5.diff.gz
 538f29375b799e39ae3ccf33a67df301 804 math optional acl2_2.9.3-5.dsc
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iQEVAwUBQ0fcnAF4adwMEr3XAQK4qwf8C+gAq8JwDNJZu+rqNLoHiEsJb9Fpb45J
dq01GrGhd6RsHui1t6prvC+ekWaNRywY639BNZfKo3UMYo6NTtBMap4A21td7+Wt
NTonLrDCzubnVa3SOCTpYFq2AKvXR6aIXMC8Uzha+t0wRejQDZsvHJpP+eN1gRKg
2dZmQe8nE3pzVs2vTyTd3OOUoASF9SOf5nisiGFVIJ9wdo/7OS+g2ixYD/GB14Uf
sby7/NfiEcyHCvn95HyIeFn9wEfh8/fLqRgzFFeoQIH06GqZafShyD/lFq4IGbbz
ZMSLsFVHNPmX2y0bKF83ke5KYvZmYk65w366ypl7YkoyXB/gccR/zA==
=ty96
-----END PGP SIGNATURE-----


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