Index of /pub/sra

	Name	Last modified	Size	Description
	Parent Directory		-
	rcs.el	1991-04-18 02:45	13K
	hakhst.tar.Z	1992-12-12 14:57	56K
	alices.pdp10	1992-10-01 22:18	13K