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


../
minizinc-ide-dbgsym_2.1.7-1+b1_m68k.deb            15-Dec-2019 00:03             4586340
minizinc-ide_2.1.7-1+b1_m68k.buildinfo             15-Dec-2019 00:03               10849
minizinc-ide_2.1.7-1+b1_m68k.deb                   15-Dec-2019 00:03              276380