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

../
minizinc-dbgsym_2.9.5+dfsg1-1_hppa.deb             24-Feb-2026 06:03            50219552
minizinc_2.9.5+dfsg1-1_hppa.buildinfo              24-Feb-2026 06:03               11197
minizinc_2.9.5+dfsg1-1_hppa.deb                    24-Feb-2026 06:03             2276028