私の特別な関心事は、Ubuntu 12.04に東芝AC100（armhf distro）用の「coq」をインストールすることです。 armhf用に正常に構築されていませんが、armelでは機能します。https://answers.launchpad.net/ac100/+question/218291。
もしそうなら、armhf Ubuntuシステムにarmel Ubuntuパッケージをインストールできますか？動作しますか？
答え1
最新バージョンのDebian（≥wheezy）またはUbuntu（≥11.10 oneiric）で利用可能です。ありがとうございます。マルチアーキテクチャサポートする。 Debian パッケージングツールは、同じシステムに複数のアーキテクチャ用のパッケージをインストールすることをサポートします。 2つの並列システムを効果的に設置します。 1つはarmhf用にコンパイルされたプログラムとライブラリを含み、もう1つはarmelでコンパイルされたプログラムとライブラリを含みます。私が言うことはarmel / armhfの組み合わせの個人的な経験ではないことに注意してください。うまくいきますが、すべてのバグが解決されたかどうかはわかりません（複数のアーキテクチャの組み合わせについて最も話されているのはamd64 / i386です）。 。成功または経験に関する報告があります。Linaroメーリングリストのトピック、cnxsoftのブログ投稿。
ネイティブコードベースは異なるディレクトリ（/lib/arm-linux-gnueabiおよび/lib/arm-linux-gnueabihf/）にインストールされるため、システムには2つのバージョンがあります。これは単にディスク容量の問題です。各アーキテクチャに対して、異なるファイルは同じディレクトリにインストールされるため、1つだけを持つことができます（たとえば、すべての実行可能ファイルはまたはに/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