This no longer seems to be a problem in 11.10.
** Changed in: coq-doc (Ubuntu)
Status: Confirmed => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/200073
Title:
Conflict between
Le vendredi 15 janvier 2010 à 22:58 +, David MENTRÉ a écrit :
> A new coq-doc synchronization has been requested. That should solve this
> issue:
> https://bugs.launchpad.net/ubuntu/+source/coq-doc/+bug/508116
Bravo! Only two years later ;)
--
Conflict between coq-doc and other coq package
A new coq-doc synchronization has been requested. That should solve this issue:
https://bugs.launchpad.net/ubuntu/+source/coq-doc/+bug/508116
--
Conflict between coq-doc and other coq packages
https://bugs.launchpad.net/bugs/200073
You received this bug notification because you are a member of U
This issue stems from the latest source package FTBFS on four (!) Ubuntu
releases.
** Changed in: coq-doc (Ubuntu)
Importance: Undecided => Low
Status: New => Confirmed
--
Conflict between coq-doc and other coq packages
https://bugs.launchpad.net/bugs/200073
You received this bug notif
coq-doc is at version 8.0pl1.0-1 while the rest of coq (i.e., the coq
source package) is at 8.1.pl3+dfsg-1. I imagine the conflicts is there
because it's inaccurate for that version. It seems that in Debian, coq,
coqide, coq-libs etc. are in main, but coq-doc is in non-free. I guess
that means coq-
Sorry.
I noticed too late that the attached screenshot has not extension.
$ file /tmp/ScreenschotSynaptic
/tmp/ScreenschotSynaptic: PNG image data, 1275 x 725, 8-bit/color RGBA,
non-interlaced
--
Conflict between coq-doc and other coq packages
https://bugs.launchpad.net/bugs/200073
You receive
** Attachment added: "ScreenschotSynaptic"
http://launchpadlibrarian.net/12525227/ScreenschotSynaptic
--
Conflict between coq-doc and other coq packages
https://bugs.launchpad.net/bugs/200073
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ub