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

../
minizinc-dbgsym_2.9.5+dfsg1-1_x32.deb              24-Feb-2026 00:03     59M
minizinc_2.9.5+dfsg1-1_x32.buildinfo               24-Feb-2026 00:03     11K
minizinc_2.9.5+dfsg1-1_x32.deb                     24-Feb-2026 00:03      2M