Bug#562373: closing 562373

[Ralf Treinen <Ralf.Treinen@pps.jussieu.fr>]

Bonsoir Lucas,

On Thu, Feb 25, 2010 at 02:14:45PM +0100, Lucas Nussbaum wrote:
> reopen 562373
> notfixed 562373 0.3.13-1
> thanks
> 
> On 21/02/10 at 21:42 +0100, Ralf Treinen wrote:
> > close 562373 0.3.13-1
> > thanks
> > 
> > libdc0-dev is available in unstable. -Ralf.
> 
> No (well, at least not on amd64 and most of the other architectures),
> not since 0.3.23-1.

There is something strange here. Indeed, madison says:

% rmadison --suite=unstable libdc0-dev
libdc0-dev |   0.3.13-1 |      unstable | armel, hurd-i386

And that is consistent with what packages.debian.org displays.

However, on my amd64/sid machine:

% apt-cache show libdc0-dev
Package: libdc0-dev
Priority: optional
Section: libdevel
Installed-Size: 2232
Maintainer: Debian QA Group <packages@qa.debian.org>
Architecture: amd64
Source: libdc0
Version: 0.3.13-1
Depends: libdc0c2 (= 0.3.13-1)
Filename: pool/main/libd/libdc0/libdc0-dev_0.3.13-1_amd64.deb
[...]

and https://buildd.debian.org/pkg.cgi?pkg=libdc0 says that libdc0 has
been compiled for all architectures (except hurd). Any idea what is going
on here ?

-Ralf.
-- 
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/