Conflict between coq-doc and other coq packages

[Sylvain Nahas]

Binary package hint: coq-doc

When I try to install the coq-doc package, apt wants to de-install other already installed coq packages (coq, coq-ide, coq-libs)

* Ubuntu Release *
DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=7.10
DISTRIB_CODENAME=gutsy
DISTRIB_DESCRIPTION="Ubuntu 7.10"

* Package version *
Please see attached synaptic screenshot

ProblemType: Bug
Architecture: i386
Date: Sun Mar 9 08:18:10 2008
Dependencies:

DistroRelease: Ubuntu 7.10
NonfreeKernelModules: hsfengine
Package: coq-doc None [modified: /var/lib/dpkg/info/coq-doc.list]
PackageArchitecture: all
SourcePackage: coq-doc
Uname: Linux portable 2.6.22-14-generic #1 SMP Tue Feb 12 07:42:25 UTC 2008 i686 GNU/Linux

[Sylvain Nahas (myself-sylvain-nahas)]

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

[Peter Berry (pwberry)]

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-doc should be in multiverse?

[Daniel T Chen (crimsun)]

This issue stems from the latest source package FTBFS on four (!) Ubuntu releases.

[David MENTRÉ (dmentre)]

A new coq-doc synchronization has been requested. That should solve this issue:
 https://bugs.launchpad.net/ubuntu/+source/coq-doc/+bug/508116

[Sylvain Nahas (myself-sylvain-nahas)]

Le vendredi 15 janvier 2010 à 22:58 +0000, 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 ;)

[Alex Wauck (awauck)]

This no longer seems to be a problem in 11.10.