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

Icon  Name                                       Last modified      Size  Description
[DIR] Parent Directory                                                -   
[   ] flatzinc-dbgsym_6.2.0-3_x32.deb            10-Jan-2020 19:03  119K  
[   ] flatzinc_6.2.0-3_x32.deb                   10-Jan-2020 19:03   74K  
[   ] gecode_6.2.0-3_x32.buildinfo               10-Jan-2020 19:03   11K  
[   ] libgecode-dev_6.2.0-3_x32.deb              10-Jan-2020 19:03  500K  
[   ] libgecode49-dbgsym_6.2.0-3_x32.deb         10-Jan-2020 19:03   56M  
[   ] 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  
[   ] libgecodeflatzinc49_6.2.0-3_x32.deb        10-Jan-2020 19:03  258K  
[   ] libgecodegist49-dbgsym_6.2.0-3_x32.deb     10-Jan-2020 19:03  3.3M  
[   ] libgecodegist49_6.2.0-3_x32.deb            10-Jan-2020 19:03  168K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80