Index of /pool/universe/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
libgecodegist49_6.2.0-5_amd64.deb
2020-08-09 17:18
116K
libgecodeflatzinc49_6.2.0-5_amd64.deb
2020-08-09 17:18
207K
libgecode49_6.2.0-5_amd64.deb
2020-08-09 17:18
2.6M
libgecode-doc_6.2.0-5_all.deb
2020-08-09 17:18
11M
libgecode-dev_6.2.0-5_amd64.deb
2020-08-09 17:18
451K
flatzinc_6.2.0-5_amd64.deb
2020-08-09 17:18
24K
gecode_6.2.0-5.dsc
2020-08-09 17:03
2.1K
gecode_6.2.0-5.debian.tar.xz
2020-08-09 17:03
16K
libgecodegist49_6.2.0-3build1_amd64.deb
2020-03-24 21:56
117K
libgecodeflatzinc49_6.2.0-3build1_amd64.deb
2020-03-24 21:56
210K
libgecode49_6.2.0-3build1_amd64.deb
2020-03-24 21:56
2.6M
libgecode-doc_6.2.0-3build1_all.deb
2020-03-24 21:56
10M
flatzinc_6.2.0-3build1_amd64.deb
2020-03-24 21:56
24K
libgecode-dev_6.2.0-3build1_amd64.deb
2020-03-24 21:56
451K
gecode_6.2.0-3build1.dsc
2020-03-24 20:28
2.2K
gecode_6.2.0-3build1.debian.tar.xz
2020-03-24 20:28
16K
gecode_6.2.0.orig.tar.gz
2020-01-11 04:58
3.5M
libgecode44_5.1.0-2build1_i386.deb
2018-01-25 05:19
2.4M
libgecode-dev_5.1.0-2build1_i386.deb
2018-01-25 05:19
427K
libgecodegist44_5.1.0-2build1_i386.deb
2018-01-25 05:19
122K
libgecodeflatzinc44_5.1.0-2build1_i386.deb
2018-01-25 05:19
189K
flatzinc_5.1.0-2build1_i386.deb
2018-01-25 05:19
15K
libgecode-dev_5.1.0-2build1_amd64.deb
2018-01-25 05:19
427K
libgecodegist44_5.1.0-2build1_amd64.deb
2018-01-25 05:19
116K
libgecodeflatzinc44_5.1.0-2build1_amd64.deb
2018-01-25 05:19
177K
libgecode-doc_5.1.0-2build1_all.deb
2018-01-25 05:19
9.8M
flatzinc_5.1.0-2build1_amd64.deb
2018-01-25 05:19
15K
libgecode44_5.1.0-2build1_amd64.deb
2018-01-25 05:19
2.2M
gecode_5.1.0-2build1.dsc
2018-01-25 04:43
2.1K
gecode_5.1.0-2build1.debian.tar.xz
2018-01-25 04:43
14K
gecode_5.1.0.orig.tar.gz
2017-07-25 22:53
3.1M
libgecodegist41v5_4.4.0-3_i386.deb
2015-10-25 05:23
121K
libgecodeflatzinc41v5_4.4.0-3_i386.deb
2015-10-25 05:23
171K
libgecode41v5_4.4.0-3_i386.deb
2015-10-25 05:23
2.0M
libgecode-dev_4.4.0-3_i386.deb
2015-10-25 05:23
452K
flatzinc_4.4.0-3_i386.deb
2015-10-25 05:23
22K
libgecodegist41v5_4.4.0-3_amd64.deb
2015-10-25 05:21
117K
libgecode41v5_4.4.0-3_amd64.deb
2015-10-25 05:21
2.0M
libgecode-doc_4.4.0-3_all.deb
2015-10-25 05:21
9.8M
libgecodeflatzinc41v5_4.4.0-3_amd64.deb
2015-10-25 05:21
168K
libgecode-dev_4.4.0-3_amd64.deb
2015-10-25 05:21
452K
flatzinc_4.4.0-3_amd64.deb
2015-10-25 05:21
22K
gecode_4.4.0-3.dsc
2015-10-25 04:54
2.0K
gecode_4.4.0-3.debian.tar.xz
2015-10-25 04:54
12K
gecode_4.4.0.orig.tar.gz
2015-05-07 11:44
2.8M
libgecode36_4.2.1-1_i386.deb
2013-11-20 19:43
1.9M
libgecodegist36_4.2.1-1_i386.deb
2013-11-20 19:43
115K
libgecode-dev_4.2.1-1_i386.deb
2013-11-20 19:43
445K
flatzinc_4.2.1-1_i386.deb
2013-11-20 19:43
21K
libgecodeflatzinc36_4.2.1-1_i386.deb
2013-11-20 19:43
158K
libgecode-doc_4.2.1-1_all.deb
2013-11-20 19:43
8.3M
flatzinc_4.2.1-1_amd64.deb
2013-11-20 19:43
21K
libgecodegist36_4.2.1-1_amd64.deb
2013-11-20 19:43
114K
libgecodeflatzinc36_4.2.1-1_amd64.deb
2013-11-20 19:43
164K
libgecode36_4.2.1-1_amd64.deb
2013-11-20 19:43
1.9M
libgecode-dev_4.2.1-1_amd64.deb
2013-11-20 19:43
444K
gecode_4.2.1.orig.tar.gz
2013-11-20 11:03
1.8M
gecode_4.2.1-1.dsc
2013-11-20 11:03
2.0K
gecode_4.2.1-1.debian.tar.gz
2013-11-20 11:03
12K
Apache/2.4.7 (Ubuntu) Server at ubuntu.ntc.net.np Port 80