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


../
minizinc-ide-dbgsym_2.1.7-1_powerpc.deb                                                                                  23-Jan-2018 17:14      4M
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    240K