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


../
minizinc-dbgsym_2.4.2-1_m68k.deb                   12-Jan-2020 06:03            39267152
minizinc_2.4.2-1_m68k.buildinfo                    12-Jan-2020 06:03               10665
minizinc_2.4.2-1_m68k.deb                          12-Jan-2020 06:03             1129268