Index of /pub/linux/distributions/historic/jurix/source/chroot/fun/xmine

	Name	Last modified	Size	Description

	Parent Directory		-
	xmine.tar.gz	1994-08-29 02:00	16K
	xmine.dif	1999-01-31 01:00	421
	SPEC	1999-02-09 01:00	21

Apache/2.4 Server at linux2.mathematik.tu-darmstadt.de Port 80