我特别关心的是在 Ubuntu 12.04 中为 Toshiba AC100（armhf 发行版）安装“coq”，它尚未成功地为armhf构建，但可用于armel——https://answers.launchpad.net/ac100/+question/218291。
那么，可以在armhf Ubuntu系统上安装armel Ubuntu软件包吗？它会起作用吗？
答案1
这对于最新版本的 Debian (≥ wheezy) 或 Ubuntu (≥ 11.10 oneiric) 来说应该是可能的，感谢多架构支持。 Debian 打包工具支持在同一系统上安装多个架构的软件包。您将有效地安装两个并行系统，一个包含为armhf编译的程序和库，另一个包含从armel编译的程序和库。请注意，我所说的并不是 armel/armhf 组合的个人经验；它应该可以工作，但我不知道是否所有错误都已解决（最受关注的多体系结构组合是 amd64/i386）。有成功或经验报告：Linaro 邮件列表主题,cnxsoft 的博客文章。
本机代码库安装在不同的目录（/lib/arm-linux-gnueabi和/lib/arm-linux-gnueabihf/）中，因此您的系统上可以拥有两个版本，这只是磁盘空间的问题。对于每个体系结构，其他文件都安装在同一目录中，因此您只能有一个（例如，所有可执行文件都在/bin或 中/usr/bin）。特别是，如果您需要 OCaml，我认为您只能使用 armel 或 armhf 。
阅读多架构指南了解如何设置您的系统（适用于 Debian，但也适用于在 Ubuntu 上手动设置）。首先，将armel声明为系统上的附加架构：
echo foreign-architecture armel >> /etc/dpkg/dpkg.cfg.d/architectures
从 wheezy/quantal 开始，运行以下命令：
dpkg --add-architecture armel
然后运行apt-get update下载新架构的软件包列表。要为 armel 安装 Coq 包：
apt-get install coq:armel