Index of /ubuntu/pool/universe/g/gecode
Name
Last modified
Size
Description
Parent Directory
-
libgecode-dev_4.2.1-1_amd64.deb
2013-11-20 20:58
444K
libgecode36_4.2.1-1_amd64.deb
2013-11-20 20:58
1.9M
libgecodeflatzinc36_4.2.1-1_amd64.deb
2013-11-20 20:58
164K
libgecodegist36_4.2.1-1_amd64.deb
2013-11-20 20:58
114K
flatzinc_4.2.1-1_amd64.deb
2013-11-20 20:58
21K
libgecode-doc_4.2.1-1_all.deb
2013-11-20 20:58
8.3M
libgecodeflatzinc36_4.2.1-1_i386.deb
2013-11-20 20:58
158K
flatzinc_4.2.1-1_i386.deb
2013-11-20 20:58
21K
libgecode-dev_4.2.1-1_i386.deb
2013-11-20 20:58
445K
libgecodegist36_4.2.1-1_i386.deb
2013-11-20 20:58
115K
libgecode36_4.2.1-1_i386.deb
2013-11-20 20:58
1.9M
flatzinc_4.4.0-3_amd64.deb
2015-10-25 06:36
22K
libgecode-dev_4.4.0-3_amd64.deb
2015-10-25 06:36
452K
libgecodeflatzinc41v5_4.4.0-3_amd64.deb
2015-10-25 06:36
168K
libgecode-doc_4.4.0-3_all.deb
2015-10-25 06:36
9.8M
libgecode41v5_4.4.0-3_amd64.deb
2015-10-25 06:36
2.0M
libgecodegist41v5_4.4.0-3_amd64.deb
2015-10-25 06:36
117K
flatzinc_4.4.0-3_i386.deb
2015-10-25 06:38
22K
libgecode-dev_4.4.0-3_i386.deb
2015-10-25 06:38
452K
libgecode41v5_4.4.0-3_i386.deb
2015-10-25 06:38
2.0M
libgecodeflatzinc41v5_4.4.0-3_i386.deb
2015-10-25 06:38
171K
libgecodegist41v5_4.4.0-3_i386.deb
2015-10-25 06:38
121K
Apache/2.4.7 (Ubuntu) Server at saos.usd.ac.id Port 80