ac100 team mailing list archive

[Ivan Zakharyaschev <question218291@xxxxxxxxxxxxxxxxxxxxx>]

New question #218291 on AC100_enablement:
https://answers.launchpad.net/ac100/+question/218291

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.