Index of /trisquel/pool/main/g/gecode

 Name                                  Last modified      Size  
 Parent Directory                                           -   
 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  
 gecode_3.1.0-1.diff.gz                2009-07-06 18:11  6.2K  
 gecode_3.1.0-1.dsc                    2009-07-06 18:11  1.1K  
 gecode_3.1.0.orig.tar.gz              2009-07-06 18:11  892K  
 gecode_3.2.1-1.diff.gz                2009-12-01 00:04  9.4K  
 gecode_3.2.1-1.dsc                    2009-12-01 00:04  1.1K  
 gecode_3.2.1.orig.tar.gz              2009-12-01 00:04  1.2M  
 gecode_3.3.1-2.debian.tar.gz          2010-05-09 15:06   10K  
 gecode_3.3.1-2.dsc                    2010-05-09 15:06  1.1K  
 gecode_3.3.1.orig.tar.gz              2010-05-09 15:06  1.3M  
 gecode_3.5.0-1.debian.tar.gz          2011-02-12 18:04   11K  
 gecode_3.5.0-1.dsc                    2011-02-12 18:04  1.1K  
 gecode_3.5.0-2.debian.tar.gz          2011-07-27 12:08   11K  
 gecode_3.5.0-2.dsc                    2011-07-27 12:08  1.1K  
 gecode_3.5.0.orig.tar.gz              2011-02-12 18:04  1.5M  
 gecode_3.7.1-3.debian.tar.gz          2011-12-13 10:04   12K  
 gecode_3.7.1-3.dsc                    2011-12-13 10:04  1.4K  
 gecode_3.7.1.orig.tar.gz              2011-10-27 10:04  1.5M  
 gecode_4.2.1-1.debian.tar.gz          2013-11-20 05:18   12K  
 gecode_4.2.1-1.dsc                    2013-11-20 05:18  2.0K  
 gecode_4.2.1.orig.tar.gz              2013-11-20 05:18  1.8M  
 libgecode-dev_4.2.1-1_amd64.deb       2013-11-20 13:58  444K  
 libgecode-dev_4.2.1-1_i386.deb        2013-11-20 13:58  445K  
 libgecode-doc_4.2.1-1_all.deb         2013-11-20 13:58  8.3M  
 libgecode32_3.7.3-1_amd64.deb         2012-05-04 14:34  2.6M  
 libgecode32_3.7.3-1_i386.deb          2012-05-04 14:35  2.6M  
 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  
 libgecodeflatzinc32_3.7.3-1_amd64.deb 2012-05-04 14:34  142K  
 libgecodeflatzinc32_3.7.3-1_i386.deb  2012-05-04 14:35  140K  
 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  
 libgecodegist32_3.7.3-1_amd64.deb     2012-05-04 14:34  132K  
 libgecodegist32_3.7.3-1_i386.deb      2012-05-04 14:35  132K  
 libgecodegist36_4.2.1-1_amd64.deb     2013-11-20 13:58  114K  
 libgecodegist36_4.2.1-1_i386.deb      2013-11-20 13:58  115K