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


../
minizinc-dbgsym_2.1.7+dfsg1-1_sh4.deb              24-Jan-2018 09:03     32M
minizinc_2.1.7+dfsg1-1_sh4.buildinfo               24-Jan-2018 09:03    7485
minizinc_2.1.7+dfsg1-1_sh4.deb                     24-Jan-2018 09:03      1M