Index of /repository/archive/pool/main/g/gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	gecode_1.3.1-1.diff.gz	2006-10-26 15:17	27K
	gecode_1.3.1-1.dsc	2006-10-26 15:17	639
	gecode_1.3.1.orig.tar.gz	2006-10-26 15:17	878K
	libgecode-doc_1.3.1-1_all.deb	2006-10-26 15:17	3.8M
	libgecode7-dev_1.3.1-1_i386.deb	2006-10-26 15:17	2.4M
	libgecode8_1.3.1-1_i386.deb	2006-10-26 15:17	1.4M