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

../
minizinc-dbgsym_2.8.3+dfsg1-1_ia64.deb             30-Mar-2024 00:03            51198880
minizinc_2.8.3+dfsg1-1_ia64.buildinfo              30-Mar-2024 00:03               11566
minizinc_2.8.3+dfsg1-1_ia64.deb                    30-Mar-2024 00:03             2473960