Index of /ubuntu/pool/universe/g/gecode
Name
Last modified
Size
Parent Directory
-
libgecode-doc_6.2.0-3build1_all.deb
2020-03-24 16:11
10M
libgecode-doc_6.1.0-2_all.deb
2019-01-13 05:23
10M
libgecode-doc_4.4.0-3_all.deb
2015-10-25 00:36
9.8M
libgecode-doc_5.1.0-2build1_all.deb
2018-01-24 23:34
9.8M
libgecode-doc_3.7.1-3_all.deb
2011-12-13 11:04
9.1M
libgecode-doc_4.2.1-1_all.deb
2013-11-20 13:58
8.3M
gecode_6.2.0.orig.tar.gz
2020-01-10 23:13
3.5M
gecode_6.1.0.orig.tar.gz
2018-11-09 06:49
3.3M
gecode_5.1.0.orig.tar.gz
2017-07-25 18:08
3.1M
libgecode30_3.7.1-3_i386.deb
2011-12-13 11:04
2.8M
gecode_4.4.0.orig.tar.gz
2015-05-07 06:59
2.8M
libgecode30_3.7.1-3_amd64.deb
2011-12-13 11:04
2.7M
libgecode48_6.1.0-2_i386.deb
2019-01-13 05:28
2.7M
libgecode49_6.2.0-3build1_amd64.deb
2020-03-24 16:11
2.6M
libgecode48_6.1.0-2_amd64.deb
2019-01-13 05:23
2.5M
libgecode44_5.1.0-2build1_i386.deb
2018-01-24 23:34
2.4M
libgecode44_5.1.0-2build1_amd64.deb
2018-01-24 23:34
2.2M
libgecode41v5_4.4.0-3_i386.deb
2015-10-25 00:38
2.0M
libgecode41v5_4.4.0-3_amd64.deb
2015-10-25 00:36
2.0M
libgecode36_4.2.1-1_amd64.deb
2013-11-20 13:58
1.9M
libgecode36_4.2.1-1_i386.deb
2013-11-20 13:58
1.9M
gecode_4.2.1.orig.tar.gz
2013-11-20 05:18
1.8M
gecode_3.7.1.orig.tar.gz
2011-10-27 11:04
1.5M
libgecode-dev_3.7.1-3_amd64.deb
2011-12-13 11:04
479K
libgecode-dev_3.7.1-3_i386.deb
2011-12-13 11:04
469K
libgecode-dev_4.4.0-3_i386.deb
2015-10-25 00:38
452K
libgecode-dev_4.4.0-3_amd64.deb
2015-10-25 00:36
452K
libgecode-dev_6.2.0-3build1_amd64.deb
2020-03-24 16:11
451K
libgecode-dev_6.1.0-2_amd64.deb
2019-01-13 05:23
448K
libgecode-dev_6.1.0-2_i386.deb
2019-01-13 05:28
448K
libgecode-dev_4.2.1-1_i386.deb
2013-11-20 13:58
445K
libgecode-dev_4.2.1-1_amd64.deb
2013-11-20 13:58
444K
libgecode-dev_5.1.0-2build1_amd64.deb
2018-01-24 23:34
427K
libgecode-dev_5.1.0-2build1_i386.deb
2018-01-24 23:34
427K
libgecodeflatzinc49_6.2.0-3build1_amd64.deb
2020-03-24 16:11
210K
libgecodeflatzinc48_6.1.0-2_i386.deb
2019-01-13 05:28
207K
libgecodeflatzinc48_6.1.0-2_amd64.deb
2019-01-13 05:23
196K
libgecodeflatzinc44_5.1.0-2build1_i386.deb
2018-01-24 23:34
189K
libgecodeflatzinc44_5.1.0-2build1_amd64.deb
2018-01-24 23:34
177K
libgecodeflatzinc41v5_4.4.0-3_i386.deb
2015-10-25 00:38
171K
libgecodeflatzinc41v5_4.4.0-3_amd64.deb
2015-10-25 00:36
168K
libgecodeflatzinc36_4.2.1-1_amd64.deb
2013-11-20 13:58
164K
libgecodeflatzinc36_4.2.1-1_i386.deb
2013-11-20 13:58
158K
libgecodeflatzinc30_3.7.1-3_amd64.deb
2011-12-13 11:04
145K
libgecodeflatzinc30_3.7.1-3_i386.deb
2011-12-13 11:04
140K
libgecodegist30_3.7.1-3_i386.deb
2011-12-13 11:04
131K
libgecodegist30_3.7.1-3_amd64.deb
2011-12-13 11:04
130K
libgecodegist48_6.1.0-2_i386.deb
2019-01-13 05:28
125K
libgecodegist44_5.1.0-2build1_i386.deb
2018-01-24 23:34
122K
libgecodegist41v5_4.4.0-3_i386.deb
2015-10-25 00:38
121K
libgecodegist48_6.1.0-2_amd64.deb
2019-01-13 05:23
119K
libgecodegist49_6.2.0-3build1_amd64.deb
2020-03-24 16:11
117K
libgecodegist41v5_4.4.0-3_amd64.deb
2015-10-25 00:36
117K
libgecodegist44_5.1.0-2build1_amd64.deb
2018-01-24 23:34
116K
libgecodegist36_4.2.1-1_i386.deb
2013-11-20 13:58
115K
libgecodegist36_4.2.1-1_amd64.deb
2013-11-20 13:58
114K
flatzinc_6.2.0-3build1_amd64.deb
2020-03-24 16:11
24K
flatzinc_4.4.0-3_i386.deb
2015-10-25 00:38
22K
flatzinc_4.4.0-3_amd64.deb
2015-10-25 00:36
22K
flatzinc_3.7.1-3_i386.deb
2011-12-13 11:04
22K
flatzinc_3.7.1-3_amd64.deb
2011-12-13 11:04
21K
flatzinc_4.2.1-1_amd64.deb
2013-11-20 13:58
21K
flatzinc_4.2.1-1_i386.deb
2013-11-20 13:58
21K
flatzinc_6.1.0-2_i386.deb
2019-01-13 05:28
16K
flatzinc_6.1.0-2_amd64.deb
2019-01-13 05:23
16K
gecode_6.2.0-3build1.debian.tar.xz
2020-03-24 14:43
16K
flatzinc_5.1.0-2build1_i386.deb
2018-01-24 23:34
15K
gecode_6.1.0-2.debian.tar.xz
2019-01-13 05:13
15K
flatzinc_5.1.0-2build1_amd64.deb
2018-01-24 23:34
15K
gecode_5.1.0-2build1.debian.tar.xz
2018-01-24 22:58
14K
gecode_4.2.1-1.debian.tar.gz
2013-11-20 05:18
12K
gecode_3.7.1-3.debian.tar.gz
2011-12-13 10:04
12K
gecode_4.4.0-3.debian.tar.xz
2015-10-25 00:09
12K
gecode_6.2.0-3build1.dsc
2020-03-24 14:43
2.2K
gecode_5.1.0-2build1.dsc
2018-01-24 22:58
2.1K
gecode_6.1.0-2.dsc
2019-01-13 05:13
2.1K
gecode_4.4.0-3.dsc
2015-10-25 00:09
2.0K
gecode_4.2.1-1.dsc
2013-11-20 05:18
2.0K
gecode_3.7.1-3.dsc
2011-12-13 10:04
1.4K
Apache/2.4.59 (Debian) SVN/1.14.1 mod_python/3.5.0- Python/3.9.2 OpenSSL/1.1.1w Server at ubuntu.positive-internet.com Port 80