[Bug 631886] Re: Sync acl2 4.0-3 (universe) from Debian unstable (main)

[Angel Abad]

** Tags added: sync

-- 
Sync acl2 4.0-3 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/631886
You received this bug notification because you are a member of Ubuntu
Sponsors Team, which is a direct subscriber.

Status in “acl2” package in Ubuntu: New

Bug description:
The actual version in Ubuntu fails to build from source:

http://launchpadlibrarian.net/50313760/buildlog_ubuntu-maverick-i386.acl2_3.6.1-2_FAILEDTOBUILD.txt.gz

This new version builds well in maverick pbuilder.

Thanks!
Content-Type: text/plain; charset=UTF-8

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

 affects ubuntu/acl2
 status new
 importance wishlist
 subscribe ubuntu-sponsors
 done

Please sync acl2 4.0-3 (universe) from Debian unstable (main)

Changelog entries since current maverick version 3.6.1-2:

acl2 (4.0-3) unstable; urgency=low

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

 -- Camm Maguire <camm at debian.org>  Fri, 09 Jul 2010 13:00:12 +0000

acl2 (4.0-2) unstable; urgency=low

  * Work around absence of HOME in buildd environments.

 -- Camm Maguire <camm at debian.org>  Thu, 08 Jul 2010 16:14:04 +0000

acl2 (4.0-1) unstable; urgency=low

  * New upstream release

 -- Camm Maguire <camm at debian.org>  Wed, 07 Jul 2010 21:49:46 +0000

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

iEYEARECAAYFAkyFRjcACgkQCY2uR+47wnmE4gCeOYG4A4yT0fN/UmLQ6YfH8MDt
lsYAnRmbhy1P1BWK2UOIZSBckZdhjPra
=5Qa8
-----END PGP SIGNATURE-----