Index of /linux/mint/debian/latest/pool/main/g/gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	libgecodegist36_4.2.1-1_i386.deb	20-Nov-2013 13:43	155K
	libgecodegist36_4.2.1-1_amd64.deb	10-Nov-2013 07:20	155K
	libgecodegist32_3.7.3-1_i386.deb	01-Apr-2012 12:02	169K
	libgecodegist32_3.7.3-1_amd64.deb	01-Apr-2012 11:03	169K
	libgecodeflatzinc36_4.2.1-1_i386.deb	20-Nov-2013 13:43	199K
	libgecodeflatzinc36_4.2.1-1_amd64.deb	10-Nov-2013 07:20	205K
	libgecodeflatzinc32_3.7.3-1_i386.deb	01-Apr-2012 12:02	180K
	libgecodeflatzinc32_3.7.3-1_amd64.deb	01-Apr-2012 11:03	184K
	libgecode36_4.2.1-1_i386.deb	20-Nov-2013 13:43	1.9M
	libgecode36_4.2.1-1_amd64.deb	10-Nov-2013 07:20	1.9M
	libgecode32_3.7.3-1_i386.deb	01-Apr-2012 12:02	2.8M
	libgecode32_3.7.3-1_amd64.deb	01-Apr-2012 11:03	2.8M
	libgecode23_3.4.0-1_i386.deb	28-Jul-2010 22:32	2.8M
	libgecode23_3.4.0-1_amd64.deb	29-Jul-2010 11:32	2.8M
	libgecode-doc_4.2.1-1_all.deb	10-Nov-2013 07:20	7.9M
	libgecode-doc_3.7.3-1_all.deb	01-Apr-2012 11:03	11M
	libgecode-doc_3.4.0-1_all.deb	28-Jul-2010 22:32	10M
	libgecode-dev_4.2.1-1_i386.deb	20-Nov-2013 13:43	485K
	libgecode-dev_4.2.1-1_amd64.deb	10-Nov-2013 07:20	486K
	libgecode-dev_3.7.3-1_i386.deb	01-Apr-2012 12:02	518K
	libgecode-dev_3.7.3-1_amd64.deb	01-Apr-2012 11:03	521K
	libgecode-dev_3.4.0-1_i386.deb	28-Jul-2010 22:32	747K
	libgecode-dev_3.4.0-1_amd64.deb	29-Jul-2010 11:32	746K
	gecode_4.2.1.orig.tar.gz	10-Nov-2013 07:20	1.8M
	gecode_4.2.1-1.dsc	10-Nov-2013 07:20	2.0K
	gecode_4.2.1-1.debian.tar.gz	10-Nov-2013 07:20	12K
	gecode_3.7.3.orig.tar.gz	01-Apr-2012 11:03	1.6M
	gecode_3.7.3-1.dsc	01-Apr-2012 11:03	1.4K
	gecode_3.7.3-1.debian.tar.gz	01-Apr-2012 11:03	11K
	gecode_3.4.0.orig.tar.gz	28-Jul-2010 22:32	1.3M
	gecode_3.4.0-1.dsc	28-Jul-2010 22:32	1.1K
	gecode_3.4.0-1.debian.tar.gz	28-Jul-2010 22:32	10K
	flatzinc_4.2.1-1_i386.deb	20-Nov-2013 13:43	61K
	flatzinc_4.2.1-1_amd64.deb	10-Nov-2013 07:20	61K
	flatzinc_3.7.3-1_i386.deb	01-Apr-2012 12:02	58K
	flatzinc_3.7.3-1_amd64.deb	01-Apr-2012 11:03	58K