Index of /debian-ports/pool-powerpc/main/m/minizinc-ide/

../
minizinc-ide-dbgsym_2.1.7-1_powerpc.deb            23-Jan-2018 17:14             4310576
minizinc-ide_2.1.7-1_powerpc.buildinfo             29-Jun-2018 23:06                9314
minizinc-ide_2.1.7-1_powerpc.deb                   23-Jan-2018 17:14              246064