Index of /pool/main/g/gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	libgecode-doc_6.2.0-5_all.deb	2023-02-25 17:33	11M
	libgecode-doc_6.2.0-7_all.deb	2026-05-21 11:50	11M
	libgecode-doc_6.1.0-2_all.deb	2019-08-27 12:14	10M
	gecode_6.2.0.orig.tar.gz	2023-02-25 17:33	3.5M
	gecode_6.1.0.orig.tar.gz	2019-08-27 12:14	3.3M
	libgecode49t64_6.2.0-7_amd64.deb	2026-05-21 11:50	2.9M
	libgecode49_6.2.0-5_amd64.deb	2023-02-25 17:33	2.7M
	libgecode48_6.1.0-2_amd64.deb	2019-08-27 12:14	2.6M
	libgecode-dev_6.2.0-5_amd64.deb	2023-02-25 17:33	501K
	libgecode-dev_6.1.0-2_amd64.deb	2019-08-27 12:14	496K
	libgecode-dev_6.2.0-7_amd64.deb	2026-05-21 11:50	451K
	libgecodeflatzinc49_6.2.0-5_amd64.deb	2023-02-25 17:33	258K
	libgecodeflatzinc48_6.1.0-2_amd64.deb	2019-08-27 12:14	246K
	libgecodeflatzinc49t64_6.2.0-7_amd64.deb	2026-05-21 11:50	220K
	libgecodegist48_6.1.0-2_amd64.deb	2019-08-27 12:14	169K
	libgecodegist49_6.2.0-5_amd64.deb	2023-02-25 17:33	166K
	libgecodegist49t64_6.2.0-7_amd64.deb	2026-05-21 11:50	119K
	flatzinc_6.2.0-5_amd64.deb	2023-02-25 17:33	74K
	flatzinc_6.1.0-2_amd64.deb	2019-08-27 12:14	65K
	gecode_6.2.0-7.debian.tar.xz	2026-05-21 11:50	20K
	gecode_6.2.0-5.debian.tar.xz	2023-02-25 17:33	16K
	gecode_6.1.0-2.debian.tar.xz	2019-08-27 12:14	15K
	gecode_6.2.0-7.dsc	2026-05-21 11:50	2.1K
	gecode_6.1.0-2.dsc	2019-08-27 12:14	2.1K
	gecode_6.2.0-5.dsc	2023-02-25 17:33	2.1K