Index of /.f/pub/gnu/gnumach

	Name	Last modified	Size
	Parent Directory		-
	gnumach-1.0.tar.gz	14-Apr-1997 08:00	2.4M
	gnumach-1.1.2.tar.gz	10-Jun-1997 08:00	2.4M
	gnumach-1.1.3.tar.gz	12-Jun-1997 08:00	2.4M
	gnumach-1.2-1.3.diff.gz	27-May-2002 21:30	310K
	gnumach-1.2-1.3.diff.gz.sig	27-May-2002 21:30	152
	gnumach-1.2.tar.gz	21-Jun-1999 20:08	3.5M
	gnumach-1.2.tar.gz.sig	21-Jun-1999 20:23	152
	gnumach-1.3.tar.gz	27-May-2002 21:30	3.6M
	gnumach-1.3.tar.gz.sig	27-May-2002 21:30	152
	gnumach-1.4.tar.bz2	01-Oct-2013 09:12	3.0M
	gnumach-1.4.tar.bz2.sig	01-Oct-2013 09:12	490
	gnumach-1.4.tar.gz	01-Oct-2013 09:14	3.8M
	gnumach-1.4.tar.gz.sig	01-Oct-2013 09:14	490