Package: why
Version: 2.18.dfsg-4+b1
Severity: important
why uses ${binary:Version} to indicate why-examples's required version
of why and why's suggested version of libwhy-coq. However, that
variable is only appropriate for relationships between
architecture-dependent packages; because why-examples and why-coq are
both architecture-independent, binary-only rebuilds (as recently
occurred for the ocaml 3.11.1 transition) render them unsatisfiable.
For why-examples -> why, you could change the dependency to something
like why (>= ${source:Version}), why (<< ${source:Version}.1) to allow
for rebuilds but not more substantial changes.
Any-to-all relationships are easier to handle, so why could simply
change its suggestion to libwhy-coq (= ${source:Version}). However,
given that libwhy-coq, even if technically architecture-independent,
is relatively small and itself in need of rebuilds for various
transitions, it might actually make some sense to keep the
relationship as is and set libwhy-coq's architecture to any. (For
instance, it's uninstallable at present due to a dependency on
coq-8.2-1+3.11.0.)
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.30-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages why depends on:
ii libatk1.0-0 1.26.0-1 The ATK accessibility toolkit
ii libc6 2.9-19 GNU C Library: Shared libraries
ii libcairo2 1.8.8-2 The Cairo 2D vector graphics libra
ii libfontconfig1 2.6.0-4 generic font configuration library
ii libfreetype6 2.3.9-5 FreeType 2 font engine, shared lib
ii libglib2.0-0 2.20.4-1 The GLib library of C routines
ii libgtk2.0-0 2.16.4-1 The GTK+ graphical user interface
ii libpango1.0-0 1.24.3-1 Layout and rendering of internatio
Versions of packages why recommends:
ii alt-ergo 0.9-1 Automatic theorem prover dedicated
Versions of packages why suggests:
pn libwhy-coq <none> (no description available)
-- 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
