This bug was fixed in the package coq - 8.2.pl2+dfsg-1ubuntu1 --------------- coq (8.2.pl2+dfsg-1ubuntu1) maverick; urgency=low
* Do not hardcode register names for thumb mode on armel. LP: #636229 . -- Matthias Klose <[email protected]> Sat, 18 Sep 2010 18:24:09 +0200 ** Changed in: coq (Ubuntu) Status: Confirmed => Fix Released -- armel build failure (armv7 specific?) https://bugs.launchpad.net/bugs/636229 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
