Index of /debian-ports/pool-x32/main/g/gecode

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 gecode_6.2.0-3_x32.buildinfo               10-Jan-2020 19:03   11K  
 flatzinc_6.2.0-3_x32.deb                   10-Jan-2020 19:03   74K  
 flatzinc-dbgsym_6.2.0-3_x32.deb            10-Jan-2020 19:03  119K  
 libgecodegist49_6.2.0-3_x32.deb            10-Jan-2020 19:03  168K  
 libgecodeflatzinc49_6.2.0-3_x32.deb        10-Jan-2020 19:03  258K  
 libgecode-dev_6.2.0-3_x32.deb              10-Jan-2020 19:03  500K  
 libgecode49_6.2.0-3_x32.deb                10-Jan-2020 19:03  2.6M  
 libgecodeflatzinc49-dbgsym_6.2.0-3_x32.deb 10-Jan-2020 19:03  2.6M  
 libgecodegist49-dbgsym_6.2.0-3_x32.deb     10-Jan-2020 19:03  3.3M  
 libgecode49-dbgsym_6.2.0-3_x32.deb         10-Jan-2020 19:03   56M