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

	Name	Last modified	Size	Description
	Parent Directory		-
	flatzinc_3.7.3-1_armel.deb	2012-04-01 14:02	59K
	gecode_3.7.3-1.debian.tar.gz	2012-04-01 08:03	11K
	gecode_3.7.3-1.dsc	2012-04-01 08:03	1.4K
	gecode_3.7.3.orig.tar.gz	2012-04-01 08:03	1.6M
	libgecode-dev_3.7.3-1_armel.deb	2012-04-01 14:02	522K
	libgecode-doc_3.7.3-1_all.deb	2012-04-01 08:03	11M
	libgecode32_3.7.3-1_armel.deb	2012-04-01 14:02	2.6M
	libgecodeflatzinc32_3.7.3-1_armel.deb	2012-04-01 14:02	171K
	libgecodegist32_3.7.3-1_armel.deb	2012-04-01 14:02	156K