Index of /pub/gnu/gnumach

	Name	Last modified	Size	Description
	Parent Directory		-
	gnumach-1.0.tar.gz	1997-04-13 23:00	2.4M
	gnumach-1.1.2.tar.gz	1997-06-09 23:00	2.4M
	gnumach-1.1.3.tar.gz	1997-06-11 23:00	2.4M
	gnumach-1.2-1.3.diff.gz	2002-05-26 23:00	310K
	gnumach-1.2-1.3.diff.gz.sig	2002-05-26 23:00	152
	gnumach-1.2.tar.gz	1999-06-20 23:00	3.5M
	gnumach-1.2.tar.gz.sig	1999-06-20 23:00	152
	gnumach-1.3.tar.gz	2002-05-26 23:00	3.6M
	gnumach-1.3.tar.gz.sig	2002-05-26 23:00	152