Index of /linux/debian/debian-ports/pool-sh4/main/m/minizinc

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 minizinc-dbgsym_2.1.7+dfsg1-1_sh4.deb       2018-01-24 01:03   32M  
 minizinc_2.1.7+dfsg1-1_sh4.buildinfo        2018-01-24 01:03  7.3K  
 minizinc_2.1.7+dfsg1-1_sh4.deb              2018-01-24 01:03  1.4M