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

../
minizinc-dbgsym_2.8.7+dfsg1-1_x32.deb              09-Oct-2024 12:03            61527868
minizinc_2.8.7+dfsg1-1_x32.buildinfo               09-Oct-2024 12:03               11383
minizinc_2.8.7+dfsg1-1_x32.deb                     09-Oct-2024 12:03             2352452