Bug#819447: acl2: FTBFS in stretch (looks like the same problem in maxima)

2016-04-07 Thread Camm Maguire
severity 819447 important thanks Greetings! I have a fix for this in the pipeline, but as the problem only appears under particular and rare memory configurations, and in particular is absent from the Debian autobuilder infrastructure, I've lowered the severity. Thank you for the machine you've

Processed: Re: Bug#819447: acl2: FTBFS in stretch (looks like the same problem in maxima)

2016-04-07 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > severity 819447 important Bug #819447 [acl2] acl2: FTBFS in stretch (looks like the same problem in maxima) Severity set to 'important' from 'serious' > thanks Stopping processing here. Please contact me if you need assistance. -- 819447: http:

Bug#819447: acl2: FTBFS in stretch (looks like the same problem in maxima)

2016-03-28 Thread Santiago Vila
On Mon, Mar 28, 2016 at 05:37:49PM +0200, Santiago Vila wrote: > The first build was done on a virtual machine with 4GB RAM and 4GB swap. > The second build was done on a virtual machine with 8GB RAM and 4GB swap. BTW: The first build tried to use up to 7200 MB of memory and the second build trie