Index of /pub/linux/devel/lang/mercury

	Name	Last modified	Size	Description
	Parent Directory		-
	!INDEX	2003-01-28 15:23	285
	!INDEX.short.html	2003-01-28 15:23	710
	!INDEX.html	2003-01-28 15:23	1.2K
	mercury-0.7.3.lsm	1998-01-26 23:12	1.4K
	mercury-compiler-0.10.1.lsm	2001-04-04 09:14	1.4K
	mercury-compiler-0.11.0.lsm	2003-01-28 05:00	1.4K
	mercury-0.7.3-core.tar.gz	1998-01-26 22:58	4.8M
	mercury-compiler-0.10.1.tar.gz	2001-04-04 09:16	9.9M
	mercury-compiler-0.11.0.tar.gz	2003-01-28 05:00	15M