ac100 team mailing list archive

[Ivan Zakharyaschev <question218291@xxxxxxxxxxxxxxxxxxxxx>]

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

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
armel.

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

(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.