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

	Name	Last modified	Size	Description
	Parent Directory		-
	gecode_3.4.0-1.debian.tar.gz	28-Jul-2010 19:32	10K
	gecode_3.4.0-1.dsc	28-Jul-2010 19:32	1.1K
	gecode_3.4.0.orig.tar.gz	28-Jul-2010 19:32	1.3M
	libgecode-dev_3.4.0-1_amd64.deb	29-Jul-2010 08:32	746K
	libgecode-dev_3.4.0-1_armel.deb	29-Jul-2010 05:33	746K
	libgecode-dev_3.4.0-1_i386.deb	28-Jul-2010 19:32	747K
	libgecode-doc_3.4.0-1_all.deb	28-Jul-2010 19:32	10M
	libgecode23_3.4.0-1_amd64.deb	29-Jul-2010 08:32	2.8M
	libgecode23_3.4.0-1_armel.deb	29-Jul-2010 05:33	2.6M
	libgecode23_3.4.0-1_i386.deb	28-Jul-2010 19:32	2.8M