Can I install armel package in Ubuntu 12.04 (armhf) for Toshiba AC100?
coq package (a formal proof system) doesn't build for armhf (yet) -- https:/
Can I install armel coq in Ubuntu armhf (on Toshiba AC100), or it won't work?
(I've also posted the general question about armhf and armel compatibility at http://
Question information
- Language:
- English Edit question
- Status:
- Answered
- Assignee:
- No assignee Edit question
- Last query:
- 2013-01-04
- Last reply:
- 2013-01-04
Oliver Grawert (ogra) said : | #1 |
see http://
Ivan Zakharyaschev (imz) said : | #2 |
Thanks, this is helpful!
In 12.04, the stopper is emacsen-
root@potka:~# apt-get install coq:armel
Reading package lists... Done
Building dependency tree
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:
The following packages have unmet dependencies:
coq:armel : Depends: coq-theories:armel (= 8.3.pl4+dfsg-1) but it is not installable
E: Unable to correct problems, you have held broken packages.
root@potka:~# apt-get install emacsen-
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package emacsen-
This may mean that the package is missing, has been obsoleted, or
is only available from another source
E: Package 'emacsen-
root@potka:~# dpkg --listfiles emacsen-common
/.
/etc
/etc/emacs
/etc/emacs/
/etc/emacs/
/etc/emacs/
/usr
/usr/share
/usr/share/emacs
/usr/share/
/usr/share/
/usr/share/doc
/usr/share/
/usr/share/
/usr/share/
/usr/share/
/usr/share/
/usr/share/
/usr/lib
/usr/lib/
/usr/lib/
/usr/lib/
/usr/lib/
/usr/lib/
/usr/lib/
/usr/lib/
/usr/lib/
/usr/lib/
/var
/var/lib
/var/lib/
/usr/lib/
/usr/lib/
root@potka:~#
emacsen-commn must probably be somehow adapted for multiarch...
Perhaps, I'll try switching to 12.10 as the next step.
Ivan Zakharyaschev (imz) said : | #3 |
Cf. also a problem with emacs and multiarch -- https:/
Can you help with this problem?
Provide an answer of your own, or ask Ivan Zakharyaschev for more information if necessary.