Bug#571574: why: dependency on ocaml-base-nox needed?

[Ian Zimmerman <itz@buug.org>]

Package: why
Version: 2.23+dfsg-2
Severity: minor


The previous version of this package (2.19+dfsg-2) did not have this dependency.
I assume compilation is done with ocamlopt (after all, the package is arch-any
and not arch-all).  So why (pun noticed, LOL) this dependency?  Probably it was
introduced by: (from changelog.Debian)

     + Add ${ocaml:Depends} in Why's Depends field

so maybe this is a dh problem?

-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'stable')
Architecture: i386 (i686)

Kernel: Linux 2.6.32.9-core2-i (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.28.0-1       The ATK accessibility toolkit
ii  libc6                     2.10.2-2       GNU C Library: Shared libraries
ii  libcairo2                 1.8.8-2        The Cairo 2D vector graphics libra
ii  libfontconfig1            2.8.0-2        generic font configuration library
ii  libfreetype6              2.3.11-1       FreeType 2 font engine, shared lib
ii  libglib2.0-0              2.22.4-1       The GLib library of C routines
ii  libgmp3c2                 2:4.3.2+dfsg-1 Multiprecision arithmetic library
ii  libgtk2.0-0               2.18.6-1       The GTK+ graphical user interface 
ii  libmpfr1ldbl              2.4.2-3        multiple precision floating-point 
ii  libpango1.0-0             1.26.2-1       Layout and rendering of internatio
pn  ocaml-base-nox-3.11.2     <none>         (no description available)

Versions of packages why recommends:
ii  alt-ergo                      0.9-1+b1   Automatic theorem prover dedicated

Versions of packages why suggests:
pn  libwhy-coq                    <none>     (no description available)