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

	Name	Last modified	Size	Description
	Parent Directory		-
	gecode_6.1.0.orig.tar.gz	2018-10-20 16:07	3.3M
	flatzinc_6.1.0-2_amd64.deb	2019-01-12 22:35	65K
	gecode_6.1.0-2.debian.tar.xz	2019-01-12 22:35	15K
	gecode_6.1.0-2.dsc	2019-01-12 22:35	2.1K
	libgecode-dev_6.1.0-2_amd64.deb	2019-01-12 22:35	496K
	libgecode-doc_6.1.0-2_all.deb	2019-01-12 22:35	10M
	libgecode48_6.1.0-2_amd64.deb	2019-01-12 22:35	2.6M
	libgecodeflatzinc48_6.1.0-2_amd64.deb	2019-01-12 22:35	246K
	libgecodegist48_6.1.0-2_amd64.deb	2019-01-12 22:35	169K
	flatzinc_6.1.0-2_i386.deb	2019-01-12 23:57	66K
	libgecode-dev_6.1.0-2_i386.deb	2019-01-12 23:57	496K
	libgecode48_6.1.0-2_i386.deb	2019-01-12 23:57	2.7M
	libgecodeflatzinc48_6.1.0-2_i386.deb	2019-01-12 23:57	257K
	libgecodegist48_6.1.0-2_i386.deb	2019-01-12 23:57	175K
	gecode_6.2.0.orig.tar.gz	2019-12-16 20:01	3.5M
	gecode_6.2.0-5.debian.tar.xz	2020-08-09 08:13	16K
	gecode_6.2.0-5.dsc	2020-08-09 08:13	2.1K
	flatzinc_6.2.0-5_i386.deb	2020-08-09 08:38	75K
	libgecode-dev_6.2.0-5_i386.deb	2020-08-09 08:38	501K
	libgecode49_6.2.0-5_i386.deb	2020-08-09 08:38	2.8M
	libgecodeflatzinc49_6.2.0-5_i386.deb	2020-08-09 08:38	268K
	libgecodegist49_6.2.0-5_i386.deb	2020-08-09 08:38	173K
	libgecode-doc_6.2.0-5_all.deb	2020-08-09 08:38	11M
	flatzinc_6.2.0-5_amd64.deb	2020-08-09 08:43	74K
	libgecode-dev_6.2.0-5_amd64.deb	2020-08-09 08:43	501K
	libgecode49_6.2.0-5_amd64.deb	2020-08-09 08:43	2.7M
	libgecodeflatzinc49_6.2.0-5_amd64.deb	2020-08-09 08:43	258K
	libgecodegist49_6.2.0-5_amd64.deb	2020-08-09 08:43	166K