Sync acl2 4.0-3 (universe) from Debian unstable (main)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
acl2 (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned |
Bug Description
The actual version in Ubuntu fails to build from source:
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 <email address hidden> 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 <email address hidden> Thu, 08 Jul 2010 16:14:04 +0000
acl2 (4.0-1) unstable; urgency=low
* New upstream release
-- Camm Maguire <email address hidden> Wed, 07 Jul 2010 21:49:46 +0000
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAky
lsYAnRmbhy1P1BW
=5Qa8
-----END PGP SIGNATURE-----
tags: | added: sync |
Changed in acl2 (Ubuntu): | |
assignee: | nobody → Stefano Rivera (stefanor) |
status: | New → In Progress |
Changed in acl2 (Ubuntu): | |
assignee: | Stefano Rivera (stefanor) → nobody |
status: | In Progress → Fix Committed |
This bug was fixed in the package acl2 - 4.0-3
---------------
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
-- Angel Abad <email address hidden> Fri, 09 Jul 2010 13:00:12 +0000