Bug #935063 status changed in coq in Ubuntu:
Confirmed => Fix Released
https://bugs.launchpad.net/ubuntu/+source/coq/+bug/935063
"coq version 8.3.pl3+dfsg-1build1 FTBFS on armhf in precise"
This bug is linked to #218291.
Can I install armel package in Ubuntu 12.04 (armhf) for Toshiba AC100?
https://answers.launchpad.net/ac100/+question/218291
--
You received this question notification because your team AC100 Team is
an answer contact for AC100_enablement.
_______________________________________________
Mailing list: https://launchpad.net/~ac100
Post to : ac100@lists.launchpad.net
Unsubscribe : https://launchpad.net/~ac100
More help : https://help.launchpad.net/ListHelp
