Bug#536104: why: binNMU-unsafe relationships between arch-any and -all packages

["Aaron M. Ucko" <ucko@debian.org>]

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