Index of /ubuntu/pool/universe/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
libgecode-doc_6.2.0-6_all.deb
28-Aug-2024 20:53
11M
libgecode-dev_6.2.0-6_amd64.deb
28-Aug-2024 20:53
451K
libgecodegist49t64_6.2.0-6_amd64.deb
28-Aug-2024 20:53
115K
libgecodeflatzinc49t64_6.2.0-6_amd64.deb
28-Aug-2024 20:53
208K
libgecode49t64_6.2.0-6_amd64.deb
28-Aug-2024 20:53
2.9M
gecode_6.2.0-6.dsc
28-Aug-2024 20:53
2.1K
gecode_6.2.0-6.debian.tar.xz
28-Aug-2024 20:53
20K
libgecodegist49t64_6.2.0-5.1build3_amd64.deb
12-Apr-2024 07:59
116K
libgecodeflatzinc49t64_6.2.0-5.1build3_amd64.deb
12-Apr-2024 07:59
205K
libgecode49t64_6.2.0-5.1build3_amd64.deb
12-Apr-2024 07:59
2.8M
libgecode-doc_6.2.0-5.1build3_all.deb
12-Apr-2024 07:59
11M
libgecode-dev_6.2.0-5.1build3_amd64.deb
12-Apr-2024 07:59
451K
flatzinc_6.2.0-5.1build3_amd64.deb
12-Apr-2024 07:59
23K
gecode_6.2.0-5.1build3.dsc
12-Apr-2024 07:59
2.3K
gecode_6.2.0-5.1build3.debian.tar.xz
12-Apr-2024 07:59
16K
libgecodegist49_6.2.0-5_amd64.deb
09-Aug-2020 13:33
116K
libgecodeflatzinc49_6.2.0-5_amd64.deb
09-Aug-2020 13:33
207K
libgecode49_6.2.0-5_amd64.deb
09-Aug-2020 13:33
2.6M
libgecode-doc_6.2.0-5_all.deb
09-Aug-2020 13:33
11M
libgecode-dev_6.2.0-5_amd64.deb
09-Aug-2020 13:33
451K
flatzinc_6.2.0-5_amd64.deb
09-Aug-2020 13:33
24K
gecode_6.2.0-5.dsc
09-Aug-2020 13:18
2.1K
gecode_6.2.0-5.debian.tar.xz
09-Aug-2020 13:18
16K
libgecodegist49_6.2.0-3build1_amd64.deb
24-Mar-2020 17:11
117K
libgecodeflatzinc49_6.2.0-3build1_amd64.deb
24-Mar-2020 17:11
210K
libgecode49_6.2.0-3build1_amd64.deb
24-Mar-2020 17:11
2.6M
libgecode-doc_6.2.0-3build1_all.deb
24-Mar-2020 17:11
10M
flatzinc_6.2.0-3build1_amd64.deb
24-Mar-2020 17:11
24K
libgecode-dev_6.2.0-3build1_amd64.deb
24-Mar-2020 17:11
451K
gecode_6.2.0-3build1.dsc
24-Mar-2020 15:43
2.2K
gecode_6.2.0-3build1.debian.tar.xz
24-Mar-2020 15:43
16K
gecode_6.2.0.orig.tar.gz
11-Jan-2020 00:13
3.5M
libgecode44_5.1.0-2build1_i386.deb
25-Jan-2018 00:34
2.4M
libgecode-dev_5.1.0-2build1_i386.deb
25-Jan-2018 00:34
427K
libgecodegist44_5.1.0-2build1_i386.deb
25-Jan-2018 00:34
122K
libgecodeflatzinc44_5.1.0-2build1_i386.deb
25-Jan-2018 00:34
189K
flatzinc_5.1.0-2build1_i386.deb
25-Jan-2018 00:34
15K
libgecode-dev_5.1.0-2build1_amd64.deb
25-Jan-2018 00:34
427K
libgecodegist44_5.1.0-2build1_amd64.deb
25-Jan-2018 00:34
116K
libgecodeflatzinc44_5.1.0-2build1_amd64.deb
25-Jan-2018 00:34
177K
libgecode-doc_5.1.0-2build1_all.deb
25-Jan-2018 00:34
9.8M
flatzinc_5.1.0-2build1_amd64.deb
25-Jan-2018 00:34
15K
libgecode44_5.1.0-2build1_amd64.deb
25-Jan-2018 00:34
2.2M
gecode_5.1.0-2build1.dsc
24-Jan-2018 23:58
2.1K
gecode_5.1.0-2build1.debian.tar.xz
24-Jan-2018 23:58
14K
gecode_5.1.0.orig.tar.gz
25-Jul-2017 19:08
3.1M
libgecodegist41v5_4.4.0-3_i386.deb
25-Oct-2015 01:38
121K
libgecodeflatzinc41v5_4.4.0-3_i386.deb
25-Oct-2015 01:38
171K
libgecode41v5_4.4.0-3_i386.deb
25-Oct-2015 01:38
2.0M
libgecode-dev_4.4.0-3_i386.deb
25-Oct-2015 01:38
452K
flatzinc_4.4.0-3_i386.deb
25-Oct-2015 01:38
22K
libgecodegist41v5_4.4.0-3_amd64.deb
25-Oct-2015 01:36
117K
libgecode41v5_4.4.0-3_amd64.deb
25-Oct-2015 01:36
2.0M
libgecode-doc_4.4.0-3_all.deb
25-Oct-2015 01:36
9.8M
libgecodeflatzinc41v5_4.4.0-3_amd64.deb
25-Oct-2015 01:36
168K
libgecode-dev_4.4.0-3_amd64.deb
25-Oct-2015 01:36
452K
flatzinc_4.4.0-3_amd64.deb
25-Oct-2015 01:36
22K
gecode_4.4.0-3.dsc
25-Oct-2015 01:09
2.0K
gecode_4.4.0-3.debian.tar.xz
25-Oct-2015 01:09
12K
gecode_4.4.0.orig.tar.gz
07-May-2015 07:59
2.8M
libgecode36_4.2.1-1_i386.deb
20-Nov-2013 14:58
1.9M
libgecodegist36_4.2.1-1_i386.deb
20-Nov-2013 14:58
115K
libgecode-dev_4.2.1-1_i386.deb
20-Nov-2013 14:58
445K
flatzinc_4.2.1-1_i386.deb
20-Nov-2013 14:58
21K
libgecodeflatzinc36_4.2.1-1_i386.deb
20-Nov-2013 14:58
158K
libgecode-doc_4.2.1-1_all.deb
20-Nov-2013 14:58
8.3M
flatzinc_4.2.1-1_amd64.deb
20-Nov-2013 14:58
21K
libgecodegist36_4.2.1-1_amd64.deb
20-Nov-2013 14:58
114K
libgecodeflatzinc36_4.2.1-1_amd64.deb
20-Nov-2013 14:58
164K
libgecode36_4.2.1-1_amd64.deb
20-Nov-2013 14:58
1.9M
libgecode-dev_4.2.1-1_amd64.deb
20-Nov-2013 14:58
444K
gecode_4.2.1.orig.tar.gz
20-Nov-2013 06:18
1.8M
gecode_4.2.1-1.dsc
20-Nov-2013 06:18
2.0K
gecode_4.2.1-1.debian.tar.gz
20-Nov-2013 06:18
12K