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

 Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 gecode_6.2.0-3_riscv64.buildinfo               11-Jan-2020 01:04   11K  
 flatzinc_6.2.0-3_riscv64.deb                   11-Jan-2020 01:04   74K  
 flatzinc-dbgsym_6.2.0-3_riscv64.deb            11-Jan-2020 01:04  116K  
 libgecodegist49_6.2.0-3_riscv64.deb            11-Jan-2020 01:04  163K  
 libgecodeflatzinc49_6.2.0-3_riscv64.deb        11-Jan-2020 01:04  250K  
 libgecode-dev_6.2.0-3_riscv64.deb              11-Jan-2020 01:04  500K  
 libgecodeflatzinc49-dbgsym_6.2.0-3_riscv64.deb 11-Jan-2020 01:04  2.0M  
 libgecode49_6.2.0-3_riscv64.deb                11-Jan-2020 01:04  2.4M  
 libgecodegist49-dbgsym_6.2.0-3_riscv64.deb     11-Jan-2020 01:04  3.3M  
 libgecode49-dbgsym_6.2.0-3_riscv64.deb         11-Jan-2020 01:04   41M