On Mon, Jul 21, 2003 at 07:11:59PM +0200, Marco Gerards wrote: > > I just looked at the gnu an debian mirrors, the gnumach version there is > > from April, 21. 2002. Compared to the release date of GNUMach 1.3 this > > must be an old version?
> IIRC the debian package of GNUMach 1.3 is on alpha.gnu.org. I have a new upload of gnumach on my laptop. I got sidetracked demonstrating crosshurd at debconf, though. =) -- Breathe into my hands, I'll cup them like a glass to drink from... - Tattle Tale

