Index of /debian/pool/main/g/gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	gecode_1.3.1-1.dsc	26-Oct-2006 15:17	639
	gecode_2.1.1-1.dsc	19-Mar-2008 06:47	702
	gecode_1.3.1-1.diff.gz	26-Oct-2006 15:17	27K
	gecode_2.1.1-1.diff.gz	19-Mar-2008 06:47	29K
	gecode_1.3.1.orig.tar.gz	26-Oct-2006 15:17	878K
	gecode_2.1.1.orig.tar.gz	19-Mar-2008 06:47	965K
	libgecode8_1.3.1-1_amd64.deb	06-Nov-2006 00:33	1.2M
	libgecode8_1.3.1-1_i386.deb	26-Oct-2006 15:17	1.4M
	libgecode12_2.1.1-1_i386.deb	19-Mar-2008 06:47	2.2M
	libgecode12_2.1.1-1_amd64.deb	24-Mar-2008 11:32	2.2M
	libgecode7-dev_1.3.1-1_amd64.deb	06-Nov-2006 00:33	2.3M
	libgecode7-dev_1.3.1-1_i386.deb	26-Oct-2006 15:17	2.4M
	libgecode-doc_1.3.1-1_all.deb	26-Oct-2006 15:17	3.8M
	libgecode12-dev_2.1.1-1_i386.deb	19-Mar-2008 06:47	4.2M
	libgecode12-dev_2.1.1-1_amd64.deb	24-Mar-2008 11:32	4.3M
	libgecode-doc_2.1.1-1_all.deb	19-Mar-2008 06:47	7.5M