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

	Name	Last modified	Size	Description
	Parent Directory		-
	flatzinc_3.7.3-1_amd64.deb	31-Mar-2012 18:03	58K
	flatzinc_3.7.3-1_i386.deb	31-Mar-2012 19:02	58K
	gecode_3.7.3-1.debian.tar.gz	31-Mar-2012 18:03	11K
	gecode_3.7.3-1.dsc	31-Mar-2012 18:03	1.4K
	gecode_3.7.3.orig.tar.gz	31-Mar-2012 18:03	1.6M
	libgecode-dev_3.7.3-1_amd64.deb	31-Mar-2012 18:03	521K
	libgecode-dev_3.7.3-1_i386.deb	31-Mar-2012 19:02	518K
	libgecode-doc_3.7.3-1_all.deb	31-Mar-2012 18:03	11M
	libgecode32_3.7.3-1_amd64.deb	31-Mar-2012 18:03	2.8M
	libgecode32_3.7.3-1_i386.deb	31-Mar-2012 19:02	2.8M
	libgecodeflatzinc32_3.7.3-1_amd64.deb	31-Mar-2012 18:03	184K
	libgecodeflatzinc32_3.7.3-1_i386.deb	31-Mar-2012 19:02	180K
	libgecodegist32_3.7.3-1_amd64.deb	31-Mar-2012 18:03	169K
	libgecodegist32_3.7.3-1_i386.deb	31-Mar-2012 19:02	169K