[ubuntu/maverick] acl2 4.0-3 (Accepted)

[Angel Abad]

acl2 (4.0-3) unstable; urgency=low

  * compile nats to avoid invocation stack overflow on #-native-reloc
    machines

acl2 (4.0-2) unstable; urgency=low

  * Work around absence of HOME in buildd environments.

acl2 (4.0-1) unstable; urgency=low

  * New upstream release

Date: Fri, 09 Jul 2010 13:00:12 +0000
Changed-By: Angel Abad <angelabad at gmail.com>
Maintainer: Camm Maguire <camm at debian.org>
Signed-By: Stefano Rivera <launchpad at rivera.za.net>
Origin: debian/unstable
https://launchpad.net/ubuntu/maverick/+source/acl2/4.0-3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 09 Jul 2010 13:00:12 +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
Version: 4.0-3
Distribution: maverick
Urgency: low
Maintainer: Camm Maguire <camm at debian.org>
Changed-By: Angel Abad <angelabad at gmail.com>
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
Changes: 
 acl2 (4.0-3) unstable; urgency=low
 .
   * compile nats to avoid invocation stack overflow on #-native-reloc
     machines
 .
 acl2 (4.0-2) unstable; urgency=low
 .
   * Work around absence of HOME in buildd environments.
 .
 acl2 (4.0-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1: 
 f14a59a6d7486e29600e54db7e708423d7b29439 1168 acl2_4.0-3.dsc
 754c76be69f1e39543505e370fde254df251b4fc 11425814 acl2_4.0.orig.tar.gz
 3c9ea8a8013701106b6ab6a848b5fe7523b2e593 15953 acl2_4.0-3.diff.gz
Checksums-Sha256: 
 3de45c55fc17553cf9e3d93674e38c06ba255d0cc51cd876b4cfa7e481659aad 1168 acl2_4.0-3.dsc
 2410c0d55e687db999a3467427a43a28eafbced0340751f6c401ba4deda64880 11425814 acl2_4.0.orig.tar.gz
 3835bedf951387a5367294876fac96ee3adee50a875ee68e2455e910556d54a8 15953 acl2_4.0-3.diff.gz
Files: 
 5094ff098ac5a8d61d2ad78283cd0d2c 1168 math optional acl2_4.0-3.dsc
 6da5dbb60f8f39fb359a0b9391d899fa 11425814 math optional acl2_4.0.orig.tar.gz
 eb763682aa2f255748d5d11fc3ba3509 15953 math optional acl2_4.0-3.diff.gz
Origin: debian/unstable
Launchpad-Bugs-Fixed: 631886

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

iEYEARECAAYFAkyFXPkACgkQe5Wpfsv7GPfj/wCfZWADZwP3zAn5pzDZsKdYZq20
0mgAnAv3SYPK4DQ4idwsykiM2XS6OnK9
=tqhV
-----END PGP SIGNATURE-----