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


../
minizinc-dbgsym_2.1.7+dfsg1-1_ia64.deb             29-Jan-2018 12:03            42014672
minizinc_2.1.7+dfsg1-1_ia64.buildinfo              29-Jan-2018 12:03                9249
minizinc_2.1.7+dfsg1-1_ia64.deb                    29-Jan-2018 12:03             1833672