Bug#522440: conflicts with libwhy-coq
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
Reply to: