Index of /download/old

	Name	Last modified	Size	Description
	Parent Directory		-
	cduce-0.0.9.tar.gz	25-May-2003 20:47	166K
	cduce-0.0.91.tar.gz	03-Jun-2003 22:56	222K
	cduce-0.0.92.tar.gz	03-Jul-2003 19:56	258K
	cduce-0.1.0.tar.gz	03-Jul-2003 23:14	258K
	cduce-0.1.1-ocaml307.tar.gz	10-Nov-2003 17:16	265K
	cduce-0.1.1.tar.gz	04-Sep-2003 15:45	265K
	cduce-0.2.0.tar.gz	06-Jul-2004 00:58	473K
	cduce-0.2.1.tar.gz	08-Sep-2004 11:22	484K
	cduce-0.2.2.tar.gz	14-Jan-2005 12:35	330K
	cduce-0.3.0.tar.gz	09-Mar-2005 18:06	325K
	cduce-0.3.1.tar.gz	21-Mar-2005 14:18	327K
	cduce-0.3.2.tar.gz	22-Mar-2005 08:41	305K
	cduce-0.3.9.tar.gz	12-Jul-2005 15:52	363K
	cduce-0.3.91.tar.gz	29-Jul-2005 10:10	368K
	cduce-0.3.92.tar.gz	13-Aug-2005 12:24	369K
	cduce-cbs20040703.tar.gz	04-Jul-2004 11:40	470K
	cduce-cvs-linux-static.tar.gz	01-Jul-2005 11:53	3.1M
	cduce-cvs.tar.gz	03-Jan-2005 11:50	734K
	cduce-cvs2.tar.gz	04-Mar-2005 16:05	743K
	cduce-cvs3.tar.gz	09-Mar-2005 17:44	742K
	cduce-cvs20040426.tar.gz	26-Apr-2004 14:07	466K
	cduce-cvs20040703.tar.gz	03-Jul-2004 11:59	471K
	cduce-cvs20040704.tar.gz	06-Jul-2004 16:30	482K
	cduce-cvs20040706.tar.gz	06-Jul-2004 16:31	482K
	cduce-cvs20040714.tar.gz	14-Jul-2004 14:11	473K
	cduce-cvs20040829.tar.gz	29-Aug-2004 14:53	484K
	cduce-cvs20041018.tar.gz	18-Oct-2004 11:24	489K
	cduce-cvs20041230.tar.gz	30-Dec-2004 02:04	513K
	cduce-ocaml-0.0.1.tar.gz	12-Apr-2005 13:59	2.7M
	patch-ocaml-3.07	07-Oct-2003 20:36	18K
	ulex-0.1.tar.gz	20-Sep-2003 21:15	22K
	ulex-0.2.tar.gz	23-Sep-2003 02:00	22K
	ulex-0.3.tar.gz	08-Oct-2003 09:13	24K
	ulex-0.4.tar.gz	10-Jan-2004 22:10	24K
	ulex-0.5.tar.gz	08-Jul-2004 18:28	25K
	ulex-0.6.tar.gz	12-Jan-2005 08:50	25K
	ulex-0.7.tar.gz	24-May-2005 17:17	17K
	ulex-0.8.tar.gz	30-Oct-2005 09:04	19K