Index of /noss/pool/main/g/gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	flatzinc_6.1.0-2_amd64.deb	2021-05-18 17:12	65K
	flatzinc_6.1.0-2_arm64.deb	2021-05-18 17:12	65K
	flatzinc_6.1.0-2_i386.deb	2021-05-18 17:12	66K
	gecode_6.1.0-2.debian.tar.xz	2021-05-18 17:12	15K
	gecode_6.1.0-2.dsc	2021-05-18 17:12	2.1K
	gecode_6.1.0.orig.tar.gz	2021-05-18 17:12	3.3M
	libgecode-dev_6.1.0-2_amd64.deb	2021-05-18 17:12	496K
	libgecode-dev_6.1.0-2_arm64.deb	2021-05-18 17:12	496K
	libgecode-dev_6.1.0-2_i386.deb	2021-05-18 17:12	496K
	libgecode-doc_6.1.0-2_all.deb	2021-05-18 17:12	10M
	libgecode48_6.1.0-2_amd64.deb	2021-05-18 17:12	2.6M
	libgecode48_6.1.0-2_arm64.deb	2021-05-18 17:12	2.2M
	libgecode48_6.1.0-2_i386.deb	2021-05-18 17:12	2.7M
	libgecodeflatzinc48_6.1.0-2_amd64.deb	2021-05-18 17:12	246K
	libgecodeflatzinc48_6.1.0-2_arm64.deb	2021-05-18 17:12	222K
	libgecodeflatzinc48_6.1.0-2_i386.deb	2021-05-18 17:12	257K
	libgecodegist48_6.1.0-2_amd64.deb	2021-05-18 17:12	169K
	libgecodegist48_6.1.0-2_arm64.deb	2021-05-18 17:12	159K
	libgecodegist48_6.1.0-2_i386.deb	2021-05-18 17:12	175K