Public bug reported:
I wanted to install coq:armel on Ubuntu 12.04 armhf system
(https://answers.launchpad.net/ac100/+question/218291 ), but emacsen-
common was an obstacle:
# 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
Depends: emacsen-common:armel but it is not installable
Depends: libcoq-ocaml-vx397:armel
Recommends: coqide:armel but it is not going to be installed or
proofgeneral:armel but it is not installable
E: Unable to correct problems, you have held broken packages.
Can't the emacsen-common package be labelled "Multi-Arch: foreign" to
satisfy deps when installing a foreign architecture pkg?
After I edited /var/lib/dpkg/{status,available} and
/var/lib/apt/Packages*, this obstacle was gone --
http://unix.stackexchange.com/a/60287/4319 .
** Affects: emacsen-common (Ubuntu)
Importance: Undecided
Status: New
** Tags: multiarch
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to emacsen-common in Ubuntu.
https://bugs.launchpad.net/bugs/1096623
Title:
should be "Multi-Arch: foreign" to satisfy deps when installing a
foreign architecture pkg
Status in “emacsen-common” package in Ubuntu:
New
Bug description:
I wanted to install coq:armel on Ubuntu 12.04 armhf system
(https://answers.launchpad.net/ac100/+question/218291 ), but emacsen-
common was an obstacle:
# 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
Depends: emacsen-common:armel but it is not installable
Depends: libcoq-ocaml-vx397:armel
Recommends: coqide:armel but it is not going to be installed or
proofgeneral:armel but it is not installable
E: Unable to correct problems, you have held broken packages.
Can't the emacsen-common package be labelled "Multi-Arch: foreign" to
satisfy deps when installing a foreign architecture pkg?
After I edited /var/lib/dpkg/{status,available} and
/var/lib/apt/Packages*, this obstacle was gone --
http://unix.stackexchange.com/a/60287/4319 .
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/emacsen-common/+bug/1096623/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp