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

Icon  Name                                         Last modified      Size  Description
[DIR] Parent Directory                                                  -   
[   ] flatzinc-dbgsym_6.2.0-3_ppc64.deb            10-Jan-2020 19:03  123K  
[   ] flatzinc_6.2.0-3_ppc64.deb                   10-Jan-2020 19:03   75K  
[   ] gecode_6.2.0-3_ppc64.buildinfo               10-Jan-2020 19:03   11K  
[   ] libgecode-dev_6.2.0-3_ppc64.deb              10-Jan-2020 19:03  500K  
[   ] libgecode49-dbgsym_6.2.0-3_ppc64.deb         10-Jan-2020 19:03   61M  
[   ] libgecode49_6.2.0-3_ppc64.deb                10-Jan-2020 19:03  2.5M  
[   ] libgecodeflatzinc49-dbgsym_6.2.0-3_ppc64.deb 10-Jan-2020 19:03  2.8M  
[   ] libgecodeflatzinc49_6.2.0-3_ppc64.deb        10-Jan-2020 19:03  251K  
[   ] libgecodegist49-dbgsym_6.2.0-3_ppc64.deb     10-Jan-2020 19:03  3.5M  
[   ] libgecodegist49_6.2.0-3_ppc64.deb            10-Jan-2020 19:03  170K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80