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


../
minizinc-dbgsym_2.0.8+dfsg1-1_m68k.deb             22-Dec-2015 21:55            12588036
minizinc_2.0.8+dfsg1-1_m68k.deb                    22-Dec-2015 21:55              574970