Isso deve ser possível com versões recentes do Debian (≥ wheezy) ou Ubuntu (≥ 11.10 oneiric), graças ao suporte Multiarch . As ferramentas de empacotamento do Debian suportam a instalação de pacotes de mais de uma arquitetura no mesmo sistema. Você estaria efetivamente instalando dois sistemas paralelos, um com programas e bibliotecas compilados para o armhf e outro com programas e bibliotecas compilados do armel. Note que não estou falando de experiência pessoal para a combinação armel / armhf; é suposto que funcione, mas não sei se todos os bugs foram resolvidos ainda (a combinação multiarch que mais chama a atenção é amd64 / i386). Há relatos de sucesso ou experiência: thread da lista de discussão da Linaro , post de blog da cnxsoft .
Bibliotecas de código nativo são instaladas em diretórios diferentes ( /lib/arm-linux-gnueabi e /lib/arm-linux-gnueabihf/ ), portanto, você pode ter as duas versões em seu sistema, é apenas uma questão de espaço em disco. Outros arquivos são instalados no mesmo diretório para cada arquitetura, portanto, você pode ter apenas um (por exemplo, todos os executáveis estão em /bin ou /usr/bin ). Em particular, se você precisar do OCaml, acho que você só poderá ter o armel one ou o armhf one.
Leia o howto multiarch para saber como configurar o seu sistema (ele é para o Debian, mas deve ser aplicado para configurar as coisas manualmente no Ubuntu também). Primeiro, declare o armel como uma arquitetura adicional no seu sistema:
echo foreign-architecture armel >> /etc/dpkg/dpkg.cfg.d/architectures
De wheezy / quantal em diante, execute isso:
dpkg --add-architecture armel
Em seguida, execute apt-get update para baixar as listas de pacotes para a nova arquitetura. Para instalar o pacote Coq para o armel:
apt-get install coq:armel