Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/g/gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	flatzinc_3.7.1-3_armhf.deb	2011-12-14 05:05	20K
	flatzinc_3.7.3-1_armhf.deb	2012-05-04 23:34	20K
	flatzinc_4.0.0-2_armhf.deb	2013-05-25 13:04	19K
	flatzinc_4.2.1-1_armhf.deb	2013-11-20 05:58	19K
	gecode_3.7.1-3.debian.tar.gz	2011-12-13 02:04	12K
	gecode_3.7.1-3.dsc	2011-12-13 02:04	1.4K
	gecode_3.7.1.orig.tar.gz	2011-10-27 03:04	1.5M
	gecode_3.7.3-1.debian.tar.gz	2012-05-04 06:45	11K
	gecode_3.7.3-1.dsc	2012-05-04 06:45	1.4K
	gecode_3.7.3.orig.tar.gz	2012-05-04 06:45	1.6M
	gecode_4.0.0-2.debian.tar.gz	2013-05-25 10:33	12K
	gecode_4.0.0-2.dsc	2013-05-25 10:33	1.4K
	gecode_4.0.0.orig.tar.gz	2013-05-25 10:33	1.8M
	gecode_4.2.1-1.debian.tar.gz	2013-11-19 21:18	12K
	gecode_4.2.1-1.dsc	2013-11-19 21:18	2.0K
	gecode_4.2.1.orig.tar.gz	2013-11-19 21:18	1.8M
	libgecode-dev_3.7.1-3_armhf.deb	2011-12-14 05:05	479K
	libgecode-dev_3.7.3-1_armhf.deb	2012-05-04 23:34	481K
	libgecode-dev_4.0.0-2_armhf.deb	2013-05-25 13:04	438K
	libgecode-dev_4.2.1-1_armhf.deb	2013-11-20 05:58	445K
	libgecode-doc_3.7.1-3_all.deb	2011-12-13 03:04	9.1M
	libgecode-doc_3.7.3-1_all.deb	2012-05-04 07:34	9.0M
	libgecode-doc_4.0.0-2_all.deb	2013-05-25 13:03	7.5M
	libgecode-doc_4.2.1-1_all.deb	2013-11-20 05:58	8.3M
	libgecode30_3.7.1-3_armhf.deb	2011-12-14 05:05	2.3M
	libgecode32_3.7.3-1_armhf.deb	2012-05-04 23:34	2.2M
	libgecode33_4.0.0-2_armhf.deb	2013-05-25 13:04	1.7M
	libgecode36_4.2.1-1_armhf.deb	2013-11-20 05:58	1.7M
	libgecodeflatzinc30_3.7.1-3_armhf.deb	2011-12-14 05:05	121K
	libgecodeflatzinc32_3.7.3-1_armhf.deb	2012-05-04 23:34	118K
	libgecodeflatzinc33_4.0.0-2_armhf.deb	2013-05-25 13:04	126K
	libgecodeflatzinc36_4.2.1-1_armhf.deb	2013-11-20 05:58	141K
	libgecodegist30_3.7.1-3_armhf.deb	2011-12-14 05:05	107K
	libgecodegist32_3.7.3-1_armhf.deb	2012-05-04 23:34	109K
	libgecodegist33_4.0.0-2_armhf.deb	2013-05-25 13:04	92K
	libgecodegist36_4.2.1-1_armhf.deb	2013-11-20 05:58	98K