[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#571574: marked as done (why: dependency on ocaml-base-nox needed?)

Your message dated Sat, 27 Feb 2010 23:20:04 +0100
with message-id <4B899A94.8070303@dogguy.org>
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 owner@bugs.debian.org
immediately.)


-- 
571574: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=571574
Debian Bug Tracking System
Contact owner@bugs.debian.org 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 ---
Reply to: