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-7.debia..> 2025-02-11 20:48   20K  
 gecode_6.2.0-7.dsc      2025-02-11 20:48  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-..> 2025-02-11 21:24  451K  
 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-..> 2025-02-11 21:19   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..> 2025-02-11 21:24  2.9M  
 libgecodeflatzinc48_..> 2019-01-13 00:35  246K  
 libgecodeflatzinc49_..> 2020-08-09 09:43  258K  
 libgecodeflatzinc49t..> 2025-02-11 21:24  220K  
 libgecodegist48_6.1...> 2019-01-13 00:35  169K  
 libgecodegist49_6.2...> 2020-08-09 09:43  166K  
 libgecodegist49t64_6..> 2025-02-11 21:24  119K