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

../
minizinc-dbgsym_2.8.7+dfsg1-1_alpha.deb            20-Oct-2024 06:03            62663868
minizinc_2.8.7+dfsg1-1_alpha.buildinfo             20-Oct-2024 06:03               11267
minizinc_2.8.7+dfsg1-1_alpha.deb                   20-Oct-2024 06:03             2204160