Index of /pool/main/g/gecode

 Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 gecode_6.2.0-7.dsc                            2025-02-11 18:48  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-7.debian.tar.xz                  2025-02-11 18:48   20K  
 flatzinc_6.2.0-5.1+b1_amd64.deb               2024-03-15 23:41   71K  
 libgecodegist49t64_6.2.0-7_arm64.deb          2025-02-11 19:24  110K  
 libgecodegist49t64_6.2.0-7_amd64.deb          2025-02-11 19:24  119K  
 libgecodegist49t64_6.2.0-5.1+b1_amd64.deb     2024-03-15 23:41  164K  
 libgecodeflatzinc49t64_6.2.0-7_arm64.deb      2025-02-11 19:24  190K  
 libgecodeflatzinc49t64_6.2.0-7_amd64.deb      2025-02-11 19:24  220K  
 libgecodeflatzinc49t64_6.2.0-5.1+b1_amd64.deb 2024-03-15 23:41  262K  
 libgecode-dev_6.2.0-7_arm64.deb               2025-02-11 19:24  451K  
 libgecode-dev_6.2.0-7_amd64.deb               2025-02-11 19:24  451K  
 libgecode-dev_6.2.0-5.1+b1_amd64.deb          2024-03-15 23:41  497K  
 libgecode49t64_6.2.0-7_arm64.deb              2025-02-11 19:24  2.4M  
 libgecode49t64_6.2.0-5.1+b1_amd64.deb         2024-03-15 23:41  2.8M  
 libgecode49t64_6.2.0-7_amd64.deb              2025-02-11 19:24  2.9M  
 gecode_6.2.0.orig.tar.gz                      2019-12-16 20:01  3.5M  
 libgecode-doc_6.2.0-7_all.deb                 2025-02-11 19:19   11M  
 libgecode-doc_6.2.0-5.1_all.deb               2024-02-28 18:50   11M