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
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
** 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
** 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
** 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
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
