CERIAS OS Mirrors

	Name	Last modified	Size
	Parent Directory		-
	5.1.3/	10-Aug-2008 09:05	-
	lua-5.1-make.patch	17-Feb-2008 13:05	2.1K
	lua-5.1-make_static.patch	05-Apr-2007 06:17	552
	lua-5.1-module_paths.patch	05-Apr-2007 06:17	1.1K
	lua-5.1-readline.patch	05-Apr-2007 06:17	360
	lua-5.1.3-deprecated.patch	17-Feb-2008 11:48	1.4K
	lua-5.1.3-test.patch	16-May-2008 12:28	340
	lua-5.1.4-deprecated.patch	01-Oct-2008 11:31	1.4K
	lua-5.1.4-test.patch	01-Oct-2008 11:31	340