Index of /mie/pool/universe/g/gecode

	Name	Last modified	Size
	Parent Directory		-
	gecode_1.3.1-1.diff.gz	2006-11-08 18:04	27K
	gecode_1.3.1-1.dsc	2006-11-08 18:04	639
	gecode_1.3.1.orig.tar.gz	2006-11-08 18:04	878K
	libgecode-doc_1.3.1-1_all.deb	2006-11-15 00:04	2.9M
	libgecode7-dev_1.3.1-1_lpia.deb	2007-09-01 07:03	2.3M
	libgecode8_1.3.1-1_lpia.deb	2007-09-01 07:03	1.3M