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

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] flatzinc_6.2.0-5_amd64.deb            2020-08-09 08:43   74K  
[   ] gecode_6.2.0-5.debian.tar.xz          2020-08-09 08:13   16K  
[TXT] gecode_6.2.0-5.dsc                    2020-08-09 08:13  2.1K  
[   ] gecode_6.2.0.orig.tar.gz              2019-12-16 20:01  3.5M  
[   ] libgecode-dev_6.2.0-5_amd64.deb       2020-08-09 08:43  501K  
[   ] libgecode-doc_6.2.0-5_all.deb         2020-08-09 08:38   11M  
[   ] libgecode49_6.2.0-5_amd64.deb         2020-08-09 08:43  2.7M  
[   ] libgecodeflatzinc49_6.2.0-5_amd64.deb 2020-08-09 08:43  258K  
[   ] libgecodegist49_6.2.0-5_amd64.deb     2020-08-09 08:43  166K