Bug#517107: marked as done (aptitude installed coq with unmet dependencies)
Your message dated Sat, 28 Feb 2009 16:44:02 +0000
with message-id <E1LdSIE-0003zj-Mq@ries.debian.org>
and subject line Bug#517107: fixed in coq 8.2-1+dfsg-1
has caused the Debian Bug report #517107,
regarding aptitude installed coq with unmet dependencies
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
517107: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=517107
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: aptitude installed coq with unmet dependencies
- From: Vincent Lefevre <vincent@vinc17.org>
- Date: Wed, 25 Feb 2009 17:50:44 +0100
- Message-id: <20090225165044.GA24709@vin.lip.ens-lyon.fr>
Package: aptitude
Version: 0.4.11.11-1
Severity: grave
Justification: renders package unusable
(Well, it makes some packages unusable.)
aptitude installed coq with unmet dependencies. Here's the output:
Reading package fields... Done
Reading package status... Done
Retrieving bug reports... Done
Parsing Found/Fixed information... Done
Reading changelogs... Done
apt-listchanges: Do you want to continue? [Y/n]
(Reading database ... 380939 files and directories currently installed.)
Preparing to replace ocaml 3.10.2-3 (using .../ocaml_3.11.0-5_amd64.deb) ...
Unpacking replacement ocaml ...
Preparing to replace ocaml-base 3.10.2-3 (using .../ocaml-base_3.11.0-5_amd64.deb) ...
Unpacking replacement ocaml-base ...
Preparing to replace camlp4 3.10.2-3 (using .../camlp4_3.11.0-5_amd64.deb) ...
Unpacking replacement camlp4 ...
Preparing to replace ocaml-nox 3.10.2-3 (using .../ocaml-nox_3.11.0-5_amd64.deb) ...
Unpacking replacement ocaml-nox ...
dpkg: warning - unable to delete old directory `/var/lib/ocaml/md5sums': Directory not empty
dpkg: warning - unable to delete old directory `/var/lib/ocaml': Directory not empty
Preparing to replace ocaml-interp 3.10.2-3 (using .../ocaml-interp_3.11.0-5_amd64.deb) ...
Unpacking replacement ocaml-interp ...
Preparing to replace bibtex2html 1.93-1 (using .../bibtex2html_1.93-2_all.deb) ...
Unpacking replacement bibtex2html ...
Preparing to replace libnumerix-ocaml-dev 0.22-4+b2 (using .../libnumerix-ocaml-dev_0.22-5_amd64.deb) ...
Unpacking replacement libnumerix-ocaml-dev ...
Preparing to replace libnumerix-ocaml 0.22-4+b2 (using .../libnumerix-ocaml_0.22-5_amd64.deb) ...
Unpacking replacement libnumerix-ocaml ...
Preparing to replace hevea 1.10-5 (using .../archives/hevea_1.10-7_all.deb) ...
Unpacking replacement hevea ...
Preparing to replace coq 8.1.pl3+dfsg-1+b2 (using .../coq_8.2~rc2+dfsg-3_amd64.deb) ...
remove/coq: purging byte-compiled files for emacs-snapshot
remove/coq: purging byte-compiled files for emacs22
Unpacking replacement coq ...
dpkg: error processing /var/cache/apt/archives/coq_8.2~rc2+dfsg-3_amd64.deb (--unpack):
trying to overwrite `/usr/lib/coq/contrib/interface/vernacrc', which is also in package coq-libs
dpkg-deb: subprocess paste killed by signal (Broken pipe)
Running mktexlsr. This may take some time... done.
Preparing to replace ocaml-base-nox 3.10.2-3 (using .../ocaml-base-nox_3.11.0-5_amd64.deb) ...
Unpacking replacement ocaml-base-nox ...
Processing triggers for doc-base ...
Processing 1 removed 1 changed doc-base file(s)...
Registering documents with scrollkeeper...
Processing triggers for man-db ...
Processing triggers for menu ...
Errors were encountered while processing:
/var/cache/apt/archives/coq_8.2~rc2+dfsg-3_amd64.deb
E: Sub-process /usr/bin/dpkg returned an error code (1)
A package failed to install. Trying to recover:
Setting up ocaml-base-nox (3.11.0-5) ...
Setting up libnumerix-ocaml (0.22-5) ...
Setting up bibtex2html (1.93-2) ...
Setting up ocaml-base (3.11.0-5) ...
Setting up libnumerix-ocaml-dev (0.22-5) ...
Setting up ocaml-interp (3.11.0-5) ...
Setting up hevea (1.10-7) ...
Setting up ocaml-nox (3.11.0-5) ...
Setting up ocaml (3.11.0-5) ...
Setting up camlp4 (3.11.0-5) ...
Processing triggers for menu ...
Press return to continue.
# apt-get -f install coq coqide
Reading package lists... Done
Building dependency tree
Reading state information... Done
coq is already the newest version.
coqide is already the newest version.
You might want to run `apt-get -f install' to correct these:
The following packages have unmet dependencies:
coq: Depends: ocaml-base-nox-3.10.2
E: Unmet dependencies. Try 'apt-get -f install' with no packages (or specify a solution).
-- Package-specific info:
aptitude 0.4.11.11 compiled at Nov 20 2008 05:11:32
Compiler: g++ 4.3.2
Compiled against:
apt version 4.6.0
NCurses version 5.7
libsigc++ version: 2.0.18
Ept support enabled.
Current library versions:
NCurses version: ncurses 5.7.20090214
cwidget version: 0.5.12
Apt version: 4.6.0
linux-vdso.so.1 => (0x00007fffa91fe000)
libapt-pkg-libc6.7-6.so.4.6 => /usr/lib/libapt-pkg-libc6.7-6.so.4.6 (0x00007f25a0b3e000)
libncursesw.so.5 => /lib64/libncursesw.so.5 (0x00007f25a08f3000)
libsigc-2.0.so.0 => /usr/lib/libsigc-2.0.so.0 (0x00007f25a06ee000)
libcwidget.so.3 => /usr/lib/libcwidget.so.3 (0x00007f25a041b000)
libept.so.0 => /usr/lib/libept.so.0 (0x00007f25a01a2000)
libxapian.so.15 => /usr/lib/libxapian.so.15 (0x00007f259fe36000)
libz.so.1 => /usr/lib/libz.so.1 (0x00007f259fc1f000)
libpthread.so.0 => /lib64/libpthread.so.0 (0x00007f259fa04000)
libstdc++.so.6 => /usr/lib/libstdc++.so.6 (0x00007f259f6f8000)
libm.so.6 => /lib64/libm.so.6 (0x00007f259f475000)
libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x00007f259f25e000)
libc.so.6 => /lib64/libc.so.6 (0x00007f259ef0b000)
libutil.so.1 => /lib64/libutil.so.1 (0x00007f259ed08000)
libdl.so.2 => /lib64/libdl.so.2 (0x00007f259eb04000)
/lib64/ld-linux-x86-64.so.2 (0x00007f25a0dff000)
Terminal: xterm-debian
$DISPLAY is set.
`which aptitude`: /usr/bin/aptitude
aptitude version information:
aptitude linkage:
-- System Information:
Debian Release: 5.0
APT prefers oldstable
APT policy: (500, 'oldstable'), (500, 'unstable'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.26.5-20080922 (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=POSIX, LC_CTYPE=en_US.ISO8859-1 (charmap=ISO-8859-1)
Shell: /bin/sh linked to /bin/bash
Versions of packages aptitude depends on:
ii apt [libapt-pkg-libc6. 0.7.20.2 Advanced front-end for dpkg
ii libc6 2.9-3 GNU C Library: Shared libraries
ii libcwidget3 0.5.12-4 high-level terminal interface libr
ii libept0 0.5.26 High-level library for managing De
ii libgcc1 1:4.3.3-4 GCC support library
ii libncursesw5 5.7+20090214-1 shared libraries for terminal hand
ii libsigc++-2.0-0c2a 2.0.18-2 type-safe Signal Framework for C++
ii libstdc++6 4.3.3-4 The GNU Standard C++ Library v3
ii libxapian15 1.0.10-2 Search engine library
ii zlib1g 1:1.2.3.3.dfsg-12 compression library - runtime
Versions of packages aptitude recommends:
ii aptitude-doc-en [aptitude-do 0.4.11.11-1 English manual for aptitude, a ter
ii libparse-debianchangelog-per 1.1.1-2 parse Debian changelogs and output
Versions of packages aptitude suggests:
pn debtags <none> (no description available)
ii tasksel 2.78 Tool for selecting tasks for insta
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.2-1+dfsg-1
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:
coq-theories_8.2-1+dfsg-1_all.deb
to pool/main/c/coq/coq-theories_8.2-1+dfsg-1_all.deb
coq_8.2-1+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.2-1+dfsg-1.diff.gz
coq_8.2-1+dfsg-1.dsc
to pool/main/c/coq/coq_8.2-1+dfsg-1.dsc
coq_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/coq_8.2-1+dfsg-1_amd64.deb
coq_8.2-1+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.2-1+dfsg.orig.tar.gz
coqide_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/coqide_8.2-1+dfsg-1_amd64.deb
libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
to pool/main/c/coq/libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 517107@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stephane Glondu <steph@glondu.net> (supplier of updated coq package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 27 Feb 2009 13:31:30 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source all amd64
Version: 8.2-1+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stephane Glondu <steph@glondu.net>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 517107
Changes:
coq (8.2-1+dfsg-1) unstable; urgency=low
.
* New Upstream Version
* Use variables and ocamlinit rule from dh-ocaml in rules
* Added coqvars.mk helper for coq-related packages, and remove
/usr/lib/coq/abi (its contents is now it the COQ_ABI variable)
* Remove dependency on dpatch
* Add some missing Conflicts and Replaces in coq and libcoq-ocaml-dev
(Closes: #517107)
* Add missing dependency for coqide.byte (no longer compiled in
custom mode): liblablgtk2-ocaml
* Rebuild with OCaml 3.11
Checksums-Sha1:
f8002c56afebe1f2cb17a19aed6208d69e9050f6 1590 coq_8.2-1+dfsg-1.dsc
5010159fbff85544ae05952ebf78619808b485a7 3137238 coq_8.2-1+dfsg.orig.tar.gz
74035e38618ebfd701d04534a270d30b8f2794a4 13989 coq_8.2-1+dfsg-1.diff.gz
1cb8412784bf6bb172a7eeffb66468206b835bd7 18224744 coq-theories_8.2-1+dfsg-1_all.deb
196c69f6a3ee7f978efcf27dc6f79480b48101c3 15294414 coq_8.2-1+dfsg-1_amd64.deb
b0629a1dd853139075fbf4df19ef28c4dbc93c38 6485364 coqide_8.2-1+dfsg-1_amd64.deb
44cf49bafe1548a9fa97ccbb491404c1b3672ad7 6044152 libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
Checksums-Sha256:
32ac8f4e3b279c628ea376b354b9da7abdc21c3af35f976b4d19d172cf0da499 1590 coq_8.2-1+dfsg-1.dsc
acf410135156f70890955828daa132f8c13da33d2476adb5f880b45814887bd4 3137238 coq_8.2-1+dfsg.orig.tar.gz
a8b0dfd2aad2837faf44908d1fb7e7565d01c7855747dca532ee040a5929d0b9 13989 coq_8.2-1+dfsg-1.diff.gz
a8e1fd805037ee7e6b96ef69c9feafa762ee2a5ddd2bb896faf04f6d26fd2b3d 18224744 coq-theories_8.2-1+dfsg-1_all.deb
0aca3403ef67edf891b532d0e9c0df65ba6eb031ad47266b0e34d5da6f06b398 15294414 coq_8.2-1+dfsg-1_amd64.deb
d093190b4e7d360d937b8ebd5884bef32f3a1d67853e8db240659436979dd94d 6485364 coqide_8.2-1+dfsg-1_amd64.deb
ed1ff17d5995363f48b746cb0994584aa66ada777034deb12439d8db4d5b645b 6044152 libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
Files:
071123b0e9f4014c8204741005bc0621 1590 math optional coq_8.2-1+dfsg-1.dsc
f3f84a182fc1ed6ef2fd5affc114fedc 3137238 math optional coq_8.2-1+dfsg.orig.tar.gz
36c6ec7d2327884c4c8ea952ac541a56 13989 math optional coq_8.2-1+dfsg-1.diff.gz
3a9f9bb088bff00c92017aff7270985b 18224744 math optional coq-theories_8.2-1+dfsg-1_all.deb
fdc110b03e9b1700ea1af5ee2d6803a7 15294414 math optional coq_8.2-1+dfsg-1_amd64.deb
2aa1fd0e3f7b11fce3178c8795c38f48 6485364 math optional coqide_8.2-1+dfsg-1_amd64.deb
e2c149514672236a1995e160e788914a 6044152 libdevel optional libcoq-ocaml-dev_8.2-1+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmpJCwACgkQBg8odvzgPapK0ACcCFwEwXgy83+zVCBXKA8WASCF
yGUAn2sInchYqydj+qDnc64/N/nYMtG9
=wEO9
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: