← Back to team overview

ac100 team mailing list archive

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


Question #218291 on AC100_enablement changed:

Description changed to:
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

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

(I've also posted the general question about armhf and armel
compatibility at http://unix.stackexchange.com/q/60282/4319 .)

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