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

../
minizinc-dbgsym_2.9.0+dfsg1-1_x32.deb                                                                                    15-Feb-2025 18:03     59M
minizinc_2.9.0+dfsg1-1_x32.buildinfo                                                                                     15-Feb-2025 18:03     11K
minizinc_2.9.0+dfsg1-1_x32.deb                                                                                           15-Feb-2025 18:03      2M