Index of /debian/pool/main/m/minizinc/

../
minizinc_2.6.4+dfsg1-1_amd64.deb                   23-Jul-2022 00:28             2031904
minizinc_2.6.4+dfsg1-1_i386.deb                    23-Jul-2022 00:18             2112108