Index of /pub/linux/distributions/debian/deb.freexian.com/extended-lts/pool/main/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
libgecodegist48_6.1.0-2_i386.deb
2019-01-12 23:57
175K
libgecodeflatzinc48_6.1.0-2_i386.deb
2019-01-12 23:57
257K
libgecode48_6.1.0-2_i386.deb
2019-01-12 23:57
2.7M
libgecode-dev_6.1.0-2_i386.deb
2019-01-12 23:57
496K
flatzinc_6.1.0-2_i386.deb
2019-01-12 23:57
66K
libgecodegist48_6.1.0-2_amd64.deb
2019-01-12 22:35
169K
libgecodeflatzinc48_6.1.0-2_amd64.deb
2019-01-12 22:35
246K
libgecode48_6.1.0-2_amd64.deb
2019-01-12 22:35
2.6M
libgecode-doc_6.1.0-2_all.deb
2019-01-12 22:35
10M
libgecode-dev_6.1.0-2_amd64.deb
2019-01-12 22:35
496K
gecode_6.1.0-2.dsc
2019-01-12 22:35
2.1K
gecode_6.1.0-2.debian.tar.xz
2019-01-12 22:35
15K
flatzinc_6.1.0-2_amd64.deb
2019-01-12 22:35
65K
gecode_6.1.0.orig.tar.gz
2018-10-20 16:07
3.3M
libgecodegist41v5_4.4.0-5_i386.deb
2017-06-03 15:41
164K
libgecodeflatzinc41v5_4.4.0-5_i386.deb
2017-06-03 15:41
212K
libgecode41v5_4.4.0-5_i386.deb
2017-06-03 15:41
2.1M
libgecode-dev_4.4.0-5_i386.deb
2017-06-03 15:41
495K
flatzinc_4.4.0-5_i386.deb
2017-06-03 15:41
65K
libgecodegist41v5_4.4.0-5_amd64.deb
2017-06-03 15:01
156K
libgecodeflatzinc41v5_4.4.0-5_amd64.deb
2017-06-03 15:01
201K
libgecode41v5_4.4.0-5_amd64.deb
2017-06-03 15:01
2.0M
libgecode-doc_4.4.0-5_all.deb
2017-06-03 15:01
8.8M
libgecode-dev_4.4.0-5_amd64.deb
2017-06-03 15:01
495K
gecode_4.4.0-5.dsc
2017-06-03 15:01
2.1K
gecode_4.4.0-5.debian.tar.xz
2017-06-03 15:01
13K
flatzinc_4.4.0-5_amd64.deb
2017-06-03 15:01
65K
gecode_4.4.0.orig.tar.gz
2015-05-01 09:21
2.8M
libgecodegist36_4.2.1-2_i386.deb
2014-09-16 20:12
159K
libgecodeflatzinc36_4.2.1-2_i386.deb
2014-09-16 20:12
210K
libgecode36_4.2.1-2_i386.deb
2014-09-16 20:12
2.1M
libgecode-dev_4.2.1-2_i386.deb
2014-09-16 20:12
485K
flatzinc_4.2.1-2_i386.deb
2014-09-16 20:12
61K
libgecodegist36_4.2.1-2_amd64.deb
2014-09-16 19:47
156K
libgecodeflatzinc36_4.2.1-2_amd64.deb
2014-09-16 19:47
212K
libgecode36_4.2.1-2_amd64.deb
2014-09-16 19:47
2.0M
libgecode-doc_4.2.1-2_all.deb
2014-09-16 19:47
8.6M
libgecode-dev_4.2.1-2_amd64.deb
2014-09-16 19:47
487K
gecode_4.2.1-2.dsc
2014-09-16 19:47
2.0K
gecode_4.2.1-2.debian.tar.xz
2014-09-16 19:47
12K
flatzinc_4.2.1-2_amd64.deb
2014-09-16 19:47
61K
gecode_4.2.1.orig.tar.gz
2013-11-09 19:20
1.8M
libgecodegist32_3.7.3-1_i386.deb
2012-04-01 02:02
169K
libgecodeflatzinc32_3.7.3-1_i386.deb
2012-04-01 02:02
180K
libgecode32_3.7.3-1_i386.deb
2012-04-01 02:02
2.8M
libgecode-dev_3.7.3-1_i386.deb
2012-04-01 02:02
518K
flatzinc_3.7.3-1_i386.deb
2012-04-01 02:02
58K
libgecodegist32_3.7.3-1_amd64.deb
2012-04-01 01:03
169K
libgecodeflatzinc32_3.7.3-1_amd64.deb
2012-04-01 01:03
184K
libgecode32_3.7.3-1_amd64.deb
2012-04-01 01:03
2.8M
libgecode-doc_3.7.3-1_all.deb
2012-04-01 01:03
11M
libgecode-dev_3.7.3-1_amd64.deb
2012-04-01 01:03
521K
gecode_3.7.3.orig.tar.gz
2012-04-01 01:03
1.6M
gecode_3.7.3-1.dsc
2012-04-01 01:03
1.4K
gecode_3.7.3-1.debian.tar.gz
2012-04-01 01:03
11K
flatzinc_3.7.3-1_amd64.deb
2012-04-01 01:03
58K
Apache/2.4 Server at linux.mathematik.tu-darmstadt.de Port 443