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

	Name	Last modified	Size	Description
	Parent Directory		-
	libgecode-doc_3.7.3-1_all.deb	2012-03-31 19:03	11M
	libgecode-doc_3.4.0-1_all.deb	2010-07-28 06:32	10M
	libgecode-doc_4.2.1-2_all.deb	2014-09-16 13:47	8.6M
	libgecode23_3.4.0-1_i386.deb	2010-07-28 06:32	2.8M
	libgecode23_3.4.0-1_amd64.deb	2010-07-28 19:32	2.8M
	libgecode32_3.7.3-1_amd64.deb	2012-03-31 19:03	2.8M
	libgecode36_4.2.1-2_amd64.deb	2014-09-16 13:47	2.0M
	gecode_4.2.1.orig.tar.gz	2013-11-09 13:20	1.8M
	gecode_3.7.3.orig.tar.gz	2012-03-31 19:03	1.6M
	gecode_3.4.0.orig.tar.gz	2010-07-28 06:32	1.3M
	libgecode-dev_3.4.0-1_i386.deb	2010-07-28 06:32	747K
	libgecode-dev_3.4.0-1_amd64.deb	2010-07-28 19:32	746K
	libgecode-dev_3.7.3-1_amd64.deb	2012-03-31 19:03	521K
	libgecode-dev_4.2.1-2_amd64.deb	2014-09-16 13:47	487K
	libgecodeflatzinc36_4.2.1-2_amd64.deb	2014-09-16 13:47	212K
	libgecodeflatzinc32_3.7.3-1_amd64.deb	2012-03-31 19:03	184K
	libgecodegist32_3.7.3-1_amd64.deb	2012-03-31 19:03	169K
	libgecodegist36_4.2.1-2_amd64.deb	2014-09-16 13:47	156K
	flatzinc_4.2.1-2_amd64.deb	2014-09-16 13:47	61K
	flatzinc_3.7.3-1_amd64.deb	2012-03-31 19:03	58K
	gecode_4.2.1-2.debian.tar.xz	2014-09-16 13:47	12K
	gecode_3.7.3-1.debian.tar.gz	2012-03-31 19:03	11K
	gecode_3.4.0-1.debian.tar.gz	2010-07-28 06:32	10K
	gecode_4.2.1-2.dsc	2014-09-16 13:47	2.0K
	gecode_3.7.3-1.dsc	2012-03-31 19:03	1.4K
	gecode_3.4.0-1.dsc	2010-07-28 06:32	1.1K