Index of /pub/es/old

	Name	Last modified	Size	Description
	Parent Directory		-
	es-0.83.tar.gz	1993-04-19 14:30	112K
	es-0.82.tar.gz	1993-04-12 14:21	96K
	es-0.8.tar.gz	1993-03-22 11:11	91K
	es-0.79.tar.gz	1993-01-26 12:28	65K
	es-0.7.tar.gz	1992-10-20 03:05	59K
	es-0.74.shar.gz	1993-01-19 00:50	59K
	es-0.67.tar.gz	1992-10-01 18:39	56K