Index of /boss/pool/drishti/main/g/gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	flatzinc_4.4.0-5_amd64.deb	2017-06-03 18:31	65K
	flatzinc_4.4.0-5_armhf.deb	2017-06-03 19:41	63K
	flatzinc_4.4.0-5_i386.deb	2017-06-03 19:11	65K
	gecode_4.4.0-5.debian.tar.xz	2017-06-03 18:31	13K
	gecode_4.4.0-5.dsc	2017-06-03 18:31	2.1K
	gecode_4.4.0.orig.tar.gz	2015-05-01 12:51	2.8M
	libgecode-dev_4.4.0-5_amd64.deb	2017-06-03 18:31	495K
	libgecode-dev_4.4.0-5_armhf.deb	2017-06-03 19:41	495K
	libgecode-dev_4.4.0-5_i386.deb	2017-06-03 19:11	495K
	libgecode-doc_4.4.0-5_all.deb	2017-06-03 18:31	8.8M
	libgecode41v5_4.4.0-5_amd64.deb	2017-06-03 18:31	2.0M
	libgecode41v5_4.4.0-5_armhf.deb	2017-06-03 19:41	1.8M
	libgecode41v5_4.4.0-5_i386.deb	2017-06-03 19:11	2.1M
	libgecodeflatzinc41v5_4.4.0-5_amd64.deb	2017-06-03 18:31	201K
	libgecodeflatzinc41v5_4.4.0-5_armhf.deb	2017-06-03 19:41	181K
	libgecodeflatzinc41v5_4.4.0-5_i386.deb	2017-06-03 19:11	212K
	libgecodegist41v5_4.4.0-5_amd64.deb	2017-06-03 18:31	156K
	libgecodegist41v5_4.4.0-5_armhf.deb	2017-06-03 19:41	143K
	libgecodegist41v5_4.4.0-5_i386.deb	2017-06-03 19:11	164K