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


../
minizinc-ide-dbgsym_2.1.7-1_m68k.deb               24-Jan-2018 00:03             4201084
minizinc-ide_2.1.7-1_m68k.buildinfo                24-Jan-2018 00:03                9198
minizinc-ide_2.1.7-1_m68k.deb                      24-Jan-2018 00:03              244960