[Bug 745889] Re: acl2 version 4.2 failed to build on armel

2014-12-03 Thread Rolf Leggewie
oneiric has seen the end of its life and is no longer receiving any updates. Marking the oneiric task for this ticket as "Won't Fix". ** Changed in: acl2 (Ubuntu Oneiric) Status: Confirmed => Won't Fix -- You received this bug notification because you are a member of Ubuntu Bugs, which is

[Bug 745889] Re: acl2 version 4.2 failed to build on armel

2012-01-26 Thread Jani Monoses
This seems to no longer FTBFS ** Changed in: acl2 (Ubuntu) Status: Confirmed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/745889 Title: acl2 version 4.2 failed to build on a

[Bug 745889] Re: acl2 version 4.2 failed to build on armel

2011-07-06 Thread Brian Murray
** Changed in: acl2 (Ubuntu Oneiric) Milestone: oneiric-alpha-3 => None ** Changed in: acl2 (Ubuntu Oneiric) Status: New => Confirmed ** Tags added: universe -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.lau

[Bug 745889] Re: acl2 version 4.2 failed to build on armel

2011-06-13 Thread Brian Murray
** Changed in: acl2 (Ubuntu) Milestone: oneiric-alpha-2 => oneiric-alpha-3 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/745889 Title: acl2 version 4.2 failed to build on armel To manage notifi

[Bug 745889] Re: acl2 version 4.2 failed to build on armel

2011-05-31 Thread Brian Murray
** Tags added: oneiric ** Changed in: acl2 (Ubuntu) Milestone: None => oneiric-alpha-2 ** Also affects: acl2 (Ubuntu Oneiric) Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bug

[Bug 745889] Re: acl2 version 4.2 failed to build on armel

2011-05-25 Thread Jani Monoses
Same with 4.2 in Oneiric. The package is quite busted as only the PPC build succeeded though. ** Summary changed: - acl2 version 4.1-5 failed to build on armel + acl2 version 4.2 failed to build on armel -- You received this bug notification because you are a member of Ubuntu Bugs, which is sub