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

../
minizinc-dbgsym_2.9.3+dfsg1-1_x32.deb              30-Sep-2025 00:03            61382524
minizinc_2.9.3+dfsg1-1_x32.buildinfo               30-Sep-2025 00:03               10889
minizinc_2.9.3+dfsg1-1_x32.deb                     30-Sep-2025 00:03             2379404