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

../
minizinc-dbgsym_2.1.7+dfsg1-1_sh4.deb              24-Jan-2018 00:03            33481756
minizinc_2.1.7+dfsg1-1_sh4.buildinfo               24-Jan-2018 00:03                7485
minizinc_2.1.7+dfsg1-1_sh4.deb                     24-Jan-2018 00:03             1461696