Public bug reported:
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
** Affects: coq-doc (Ubuntu)
Importance: Undecided
Status: New
** Tags: apport-bug
--
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 Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
