The cpu-architecture tag has no wiki summary.
1
vote
1answer
508 views
Can one install an armel Ubuntu package on armhf Ubuntu system?
My particular concern is about installing "coq" in Ubuntu 12.04 for Toshiba AC100 (armhf distro), which hasn't been built successfully for armhf, but is available for armel -- ...