Re: gnumach-dev

[Marcus Brinkmann]

On Thu, Sep 28, 2000 at 12:01:47PM +0200, Jean Schurger wrote:
> where can i found the gnumach-dev debian package ?
> 
> i saw at
> 
> ftp://alpha.gnu.org/.../devel/
> ftp://ftp.debian.org/pub/debian/dists/sid/main/binary-hurd-i386/devel/

lftp ftp.debian.org:/debian/dists/unstable/main/binary-hurd-i386> ls */gnumach*
base/gnumach_1.2-6.deb          devel/gnumach-dev_1.2-6.deb

Maybe you had bad luck and it was in the middle of a package update.

Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server 
Marcus Brinkmann              GNU    http://www.gnu.org    for public PGP Key 
Marcus.Brinkmann@ruhr-uni-bochum.de,     marcus@gnu.org    PGP Key ID 36E7CD09
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/       brinkmd@debian.org