ac100 team mailing list archive
Mailing list archive
[Question #218291]: Status of bug #935063 changed to 'Fix Released' in coq in Ubuntu
Bug #935063 status changed in coq in Ubuntu:
Confirmed => Fix Released
"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?
You received this question notification because your team AC100 Team is
an answer contact for AC100_enablement.