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

2016-04-08 Thread Santiago Vila
On Thu, 7 Apr 2016, Camm Maguire wrote: > 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 >

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

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