Coq

Comment 2 for bug 935063

Ivan Zakharyaschev (imz) wrote :

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