ac100 team mailing list archive
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.