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

	Name	Last modified	Size	Description
	Parent Directory		-
	flatzinc_4.2.1-2_amd64.deb	2014-09-17 01:47	61K
	flatzinc_4.4.0-5_amd64.deb	2017-06-03 21:01	65K
	flatzinc_6.1.0-2_amd64.deb	2019-01-13 05:35	65K
	gecode_4.2.1-2.debian.tar.xz	2014-09-17 01:47	12K
	gecode_4.2.1-2.dsc	2014-09-17 01:47	2.0K
	gecode_4.2.1.orig.tar.gz	2013-11-10 02:20	1.8M
	gecode_4.4.0-5.debian.tar.xz	2017-06-03 21:01	13K
	gecode_4.4.0-5.dsc	2017-06-03 21:01	2.1K
	gecode_4.4.0.orig.tar.gz	2015-05-01 15:21	2.8M
	gecode_6.1.0-2.debian.tar.xz	2019-01-13 05:35	15K
	gecode_6.1.0-2.dsc	2019-01-13 05:35	2.1K
	gecode_6.1.0.orig.tar.gz	2018-10-20 22:07	3.3M
	libgecode-dev_4.2.1-2_amd64.deb	2014-09-17 01:47	487K
	libgecode-dev_4.4.0-5_amd64.deb	2017-06-03 21:01	495K
	libgecode-dev_6.1.0-2_amd64.deb	2019-01-13 05:35	496K
	libgecode-doc_4.2.1-2_all.deb	2014-09-17 01:47	8.6M
	libgecode-doc_4.4.0-5_all.deb	2017-06-03 21:01	8.8M
	libgecode-doc_6.1.0-2_all.deb	2019-01-13 05:35	10M
	libgecode36_4.2.1-2_amd64.deb	2014-09-17 01:47	2.0M
	libgecode41v5_4.4.0-5_amd64.deb	2017-06-03 21:01	2.0M
	libgecode48_6.1.0-2_amd64.deb	2019-01-13 05:35	2.6M
	libgecodeflatzinc36_4.2.1-2_amd64.deb	2014-09-17 01:47	212K
	libgecodeflatzinc41v5_4.4.0-5_amd64.deb	2017-06-03 21:01	201K
	libgecodeflatzinc48_6.1.0-2_amd64.deb	2019-01-13 05:35	246K
	libgecodegist36_4.2.1-2_amd64.deb	2014-09-17 01:47	156K
	libgecodegist41v5_4.4.0-5_amd64.deb	2017-06-03 21:01	156K
	libgecodegist48_6.1.0-2_amd64.deb	2019-01-13 05:35	169K