Package: why Version: 2.13-2 Severity: grave why can't be unpacked because /usr/lib/coq/user-contrib/Why.v also belongs to package libwhy-coq
-- System Information: Debian Release: squeeze/sid APT prefers testing APT policy: (990, 'testing'), (900, 'stable'), (600, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.26-1-xen-amd64 (SMP w/4 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages why depends on: ii libatk1.0-0 1.22.0-1 The ATK accessibility toolkit ii libc6 2.9-4 GNU C Library: Shared libraries ii libcairo2 1.8.6-2 The Cairo 2D vector graphics libra ii libglib2.0-0 2.18.4-2 The GLib library of C routines ii libgtk2.0-0 2.14.7-4+b1 The GTK+ graphical user interface ii libpango1.0-0 1.22.4-2 Layout and rendering of internatio why recommends no packages. Versions of packages why suggests: ii coq 8.2-1+dfsg-1 proof assistant for higher-order l -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org