Index of /pool/main/g/gecode

 Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 gecode_6.2.0-6.dsc                            2024-08-27 06:23  2.1K  
 gecode_6.2.0-5.1.dsc                          2024-02-28 17:21  2.1K  
 gecode_6.2.0-5.1.debian.tar.xz                2024-02-28 17:21   16K  
 gecode_6.2.0-6.debian.tar.xz                  2024-08-27 06:23   20K  
 flatzinc_6.2.0-5.1+b1_amd64.deb               2024-03-15 23:41   71K  
 libgecodegist49t64_6.2.0-6_arm64.deb          2024-08-27 07:13  155K  
 libgecodegist49t64_6.2.0-5.1+b1_amd64.deb     2024-03-15 23:41  164K  
 libgecodegist49t64_6.2.0-6_amd64.deb          2024-08-27 06:53  165K  
 libgecodeflatzinc49t64_6.2.0-6_arm64.deb      2024-08-27 07:13  236K  
 libgecodeflatzinc49t64_6.2.0-5.1+b1_amd64.deb 2024-03-15 23:41  262K  
 libgecodeflatzinc49t64_6.2.0-6_amd64.deb      2024-08-27 06:53  265K  
 libgecode-dev_6.2.0-6_amd64.deb               2024-08-27 06:53  497K  
 libgecode-dev_6.2.0-6_arm64.deb               2024-08-27 07:13  497K  
 libgecode-dev_6.2.0-5.1+b1_amd64.deb          2024-03-15 23:41  497K  
 libgecode49t64_6.2.0-6_arm64.deb              2024-08-27 07:13  2.5M  
 libgecode49t64_6.2.0-5.1+b1_amd64.deb         2024-03-15 23:41  2.8M  
 libgecode49t64_6.2.0-6_amd64.deb              2024-08-27 06:53  2.9M  
 gecode_6.2.0.orig.tar.gz                      2019-12-16 20:01  3.5M  
 libgecode-doc_6.2.0-5.1_all.deb               2024-02-28 18:50   11M  
 libgecode-doc_6.2.0-6_all.deb                 2024-08-27 06:58   11M