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
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
