Index of /debian/pool/main/g/gecode

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 flatzinc_6.1.0-2_amd..> 2019-01-13 00:35   65K  
 flatzinc_6.2.0-5_amd..> 2020-08-09 09:43   74K  
 gecode_6.1.0-2.debia..> 2019-01-13 00:35   15K  
 gecode_6.1.0-2.dsc      2019-01-13 00:35  2.1K  
 gecode_6.1.0.orig.ta..> 2018-10-20 17:07  3.3M  
 gecode_6.2.0-5.debia..> 2020-08-09 09:13   16K  
 gecode_6.2.0-5.dsc      2020-08-09 09:13  2.1K  
 gecode_6.2.0-6.debia..> 2024-08-27 07:23   20K  
 gecode_6.2.0-6.dsc      2024-08-27 07:23  2.1K  
 gecode_6.2.0.orig.ta..> 2019-12-16 22:01  3.5M  
 libgecode-dev_6.1.0-..> 2019-01-13 00:35  496K  
 libgecode-dev_6.2.0-..> 2020-08-09 09:43  501K  
 libgecode-dev_6.2.0-..> 2024-08-27 07:53  497K  
 libgecode-doc_6.1.0-..> 2019-01-13 00:35   10M  
 libgecode-doc_6.2.0-..> 2020-08-09 09:38   11M  
 libgecode-doc_6.2.0-..> 2024-08-27 07:58   11M  
 libgecode48_6.1.0-2_..> 2019-01-13 00:35  2.6M  
 libgecode49_6.2.0-5_..> 2020-08-09 09:43  2.7M  
 libgecode49t64_6.2.0..> 2024-08-27 07:53  2.9M  
 libgecodeflatzinc48_..> 2019-01-13 00:35  246K  
 libgecodeflatzinc49_..> 2020-08-09 09:43  258K  
 libgecodeflatzinc49t..> 2024-08-27 07:53  265K  
 libgecodegist48_6.1...> 2019-01-13 00:35  169K  
 libgecodegist49_6.2...> 2020-08-09 09:43  166K  
 libgecodegist49t64_6..> 2024-08-27 07:53  165K