Bug#171542: marked as done (apt-get build-dep advi (as sarge) does not download ocamltk)
Your message dated Sun, 12 Jan 2003 03:34:45 -0500
with message-id <20030112083445.GL23256@mizar.alcor.net>
and subject line apt-get build-dep advi (as sarge) does not download ocamltk
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 3 Dec 2002 06:07:13 +0000
>From faheem@email.unc.edu Tue Dec 03 00:07:13 2002
Return-path: <faheem@email.unc.edu>
Received: from smtp.intrex.net [209.42.192.250]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 18J6DB-0000G7-00; Tue, 03 Dec 2002 00:07:13 -0600
Received: from Chrestomanci [209.42.199.243] by smtp.intrex.net with ESMTP
(SMTPD32-5.05) id A9F328C0246; Tue, 03 Dec 2002 01:06:43 -0500
Received: from faheem by Chrestomanci with local (Exim 3.36 #1 (Debian))
id 18J58x-0004lA-00; Mon, 02 Dec 2002 23:58:47 -0500
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: "Faheem Mitha" <faheem@email.unc.edu>
To: "Debian Bug Tracking System" <submit@bugs.debian.org>
Subject: apt-get build-dep advi (as sarge) does not download ocamltk
X-Mailer: reportbug 2.3
Date: Mon, 02 Dec 2002 23:58:47 -0500
Message-Id: <E18J58x-0004lA-00@Chrestomanci>
Sender: Faheem Mitha <faheem@email.unc.edu>
X-Declude-Sender: faheem@email.unc.edu [209.42.199.243]
X-Note: Total weight is 0. Whitelisted
Delivered-To: submit@bugs.debian.org
X-Spam-Status: No, hits=0.8 required=5.0
tests=SMTPD_IN_RCVD,SPAM_PHRASE_01_02
version=2.41
X-Spam-Level:
Package: apt
Version: 0.5.4
Severity: normal
apt-get build-dep advi does nothing.
Chrestomanci:/home/faheem# apt-get build-dep advi
Reading Package Lists... Done
Building Dependency Tree... Done
0 packages upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
However ocamltk is not installed on my system and is a build requirement for
advi. pbuilder (for example) locates this with no problem
Chrestomanci:/usr/local/src/advi/advi-1.2.0#
/usr/lib/pbuilder/pbuilder-satisfydepends
...
The following NEW packages will be installed:
ocamltk
Ok, maybe there is some problem with ocamltk. For example
dpkg -l ocamltk
says "No packages found matching ocamltk"
which is sort of peculiar. But should not apt at least complain about
ocamltk or something? If this is not a problem with apt, please feel free to
reassign the bug.
Faheem.
-- System Information:
Debian Release: testing/unstable
Architecture: i386
Kernel: Linux Chrestomanci 2.4.17 #1 Mon Jun 24 18:03:29 EDT 2002 i686
Locale: LANG=C, LC_CTYPE=C
Versions of packages apt depends on:
ii libc6 2.2.5-14.3 GNU C Library: Shared libraries an
ii libstdc++2.10-glibc2.2 1:2.95.4-11 The GNU stdc++ library
-- no debconf information
---------------------------------------
Received: (at 171542-done) by bugs.debian.org; 12 Jan 2003 08:34:47 +0000
>From mdz@csh.rit.edu Sun Jan 12 02:34:47 2003
Return-path: <mdz@csh.rit.edu>
Received: from smtp01.mrf.mail.rcn.net [207.172.4.60]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 18XdZv-00035I-00; Sun, 12 Jan 2003 02:34:47 -0600
Received: from 209-6-103-23.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.103.23] helo=mizar.alcor.net)
by smtp01.mrf.mail.rcn.net with esmtp (Exim 3.35 #4)
id 18XdZu-00038p-00; Sun, 12 Jan 2003 03:34:46 -0500
Received: from mdz by mizar.alcor.net with local (Exim 3.36 #1 (Debian))
id 18XdZu-0005EF-00; Sun, 12 Jan 2003 03:34:46 -0500
Date: Sun, 12 Jan 2003 03:34:45 -0500
From: Matt Zimmerman <mdz@debian.org>
To: Faheem Mitha <faheem@email.unc.edu>
Cc: 171542-done@bugs.debian.org
Subject: Re: apt-get build-dep advi (as sarge) does not download ocamltk
Message-ID: <20030112083445.GL23256@mizar.alcor.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.4i
Sender: Matt Zimmerman <mdz@alcor.net>
Delivered-To: 171542-done@bugs.debian.org
X-Spam-Status: No, hits=-11.4 required=5.0
tests=QUOTED_EMAIL_TEXT,SIGNATURE_SHORT_DENSE,SPAM_PHRASE_01_02,
USER_AGENT,USER_AGENT_MUTT
version=2.41
X-Spam-Level:
> Chrestomanci:/home/faheem# apt-get build-dep advi
> Reading Package Lists... Done
> Building Dependency Tree... Done
> 0 packages upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
>
> However ocamltk is not installed on my system and is a build requirement for
> advi. pbuilder (for example) locates this with no problem
>
> Chrestomanci:/usr/local/src/advi/advi-1.2.0#
> /usr/lib/pbuilder/pbuilder-satisfydepends
> ...
> The following NEW packages will be installed:
> ocamltk
>
> Ok, maybe there is some problem with ocamltk. For example
>
> dpkg -l ocamltk
>
> says "No packages found matching ocamltk"
>
> which is sort of peculiar. But should not apt at least complain about
> ocamltk or something? If this is not a problem with apt, please feel free
> to reassign the bug.
The confusion probably results from the fact that ocaml Provides: ocamltk.
advi build-depends on both ocaml and ocamltk, but since ocaml fulfills both
of these build-dependencies, there is no need to install ocamltk.
If ocaml does not truly fulfill this dependency, it should not provide
ocamltk.
--
- mdz
Reply to: