ac100 team mailing list archive

[Rolf Leggewie <question218291@xxxxxxxxxxxxxxxxxxxxx>]

Bug #935063 status changed in coq in Ubuntu Quantal:

    Confirmed => Won't Fix

https://bugs.launchpad.net/ubuntu/quantal/+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 you are a member of
AC100 Team, which is an answer contact for AC100_enablement.