← Back to team overview

ac100 team mailing list archive

[Question #218291]: Can I install armel package in Ubuntu 12.04 (armhf) for Toshiba AC100?


New question #218291 on AC100_enablement:

coq package (a formal proof system) doesn't build for armhf (yet) -- https://bugs.launchpad.net/coq/+bug/935063 , but there is a package for armel.

Can I install armel coq in Ubuntu armhf (on Toshiba AC100), or it won't work?

You received this question notification because you are a member of
AC100 Team, which is an answer contact for AC100_enablement.