Index of /pool/main/g/gecode

	Name	Last modified	Size
	Parent Directory		-
	libgecodegist49_6.2.0-5_armhf.deb	2020-08-14 12:08	149K
	libgecodegist48_6.1.0-2_armhf.deb	2019-01-18 11:08	149K
	libgecodegist41v5_4.4.0-5_armhf.deb	2017-06-05 12:08	139K
	libgecodeflatzinc49_6.2.0-5_armhf.deb	2020-08-14 12:08	220K
	libgecodeflatzinc48_6.1.0-2_armhf.deb	2019-01-18 11:08	210K
	libgecodeflatzinc41v5_4.4.0-5_armhf.deb	2017-06-05 12:08	178K
	libgecode49_6.2.0-5_armhf.deb	2020-08-14 12:08	2.1M
	libgecode48_6.1.0-2_armhf.deb	2019-01-18 11:08	2.0M
	libgecode41v5_4.4.0-5_armhf.deb	2017-06-05 12:08	1.6M
	libgecode-doc_6.2.0-5_all.deb	2020-08-09 08:38	11M
	libgecode-doc_6.1.0-2_all.deb	2019-01-12 22:35	10M
	libgecode-doc_4.4.0-5_all.deb	2017-06-03 15:01	8.8M
	libgecode-dev_6.2.0-5_armhf.deb	2020-08-14 12:08	501K
	libgecode-dev_6.1.0-2_armhf.deb	2019-01-18 11:08	496K
	libgecode-dev_4.4.0-5_armhf.deb	2017-06-05 12:08	495K
	gecode_6.2.0.orig.tar.gz	2019-12-16 20:01	3.5M
	gecode_6.2.0-5.dsc	2020-08-09 08:13	2.1K
	gecode_6.2.0-5.debian.tar.xz	2020-08-09 08:13	16K
	gecode_6.1.0.orig.tar.gz	2018-10-20 16:07	3.3M
	gecode_6.1.0-2.dsc	2019-01-12 22:35	2.1K
	gecode_6.1.0-2.debian.tar.xz	2019-01-12 22:35	15K
	gecode_4.4.0.orig.tar.gz	2015-05-01 09:21	2.8M
	gecode_4.4.0-5.dsc	2017-06-03 15:01	2.1K
	gecode_4.4.0-5.debian.tar.xz	2017-06-03 15:01	13K
	flatzinc_6.2.0-5_armhf.deb	2020-08-14 12:08	73K
	flatzinc_6.1.0-2_armhf.deb	2019-01-18 11:08	63K
	flatzinc_4.4.0-5_armhf.deb	2017-06-05 12:08	63K