Index of /pool/main/g/gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	flatzinc_3.7.3-1_armhf.deb	2012-05-10 02:46	56K
	flatzinc_4.2.1-2_armhf.deb	2014-09-22 11:10	60K
	libgecode-dev_3.7.3-1_armhf.deb	2012-05-10 02:46	518K
	libgecode-dev_4.2.1-2_armhf.deb	2014-09-22 11:10	483K
	libgecode-doc_3.7.3-1_all.deb	2012-03-31 23:03	11M
	libgecode-doc_4.2.1-2_all.deb	2014-09-16 17:47	8.6M
	libgecode32_3.7.3-1_armhf.deb	2012-05-10 02:46	2.5M
	libgecode36_4.2.1-2_armhf.deb	2014-09-22 11:10	1.6M
	libgecodeflatzinc32_3.7.3-1_armhf.deb	2012-05-10 02:46	168K
	libgecodeflatzinc36_4.2.1-2_armhf.deb	2014-09-22 11:10	177K
	libgecodegist32_3.7.3-1_armhf.deb	2012-05-10 02:46	151K
	libgecodegist36_4.2.1-2_armhf.deb	2014-09-22 11:10	135K