Your message dated Sat, 27 Feb 2010 23:20:04 +0100
with message-id <[email protected]>
and subject line Re: Bug#571574: why: dependency on ocaml-base-nox needed?
has caused the Debian Bug report #571574,
regarding why: dependency on ocaml-base-nox needed?
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
571574: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=571574
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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)
--- End Message ---
--- Begin Message ---
Ian Zimmerman wrote:
> Since it isn't a bug I'm fine with closing it.
>
Ok.
Regards,
--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/
--- End Message ---
