Index of /dev/pool/main/m/minizinc/

../
minizinc_2.6.4+dfsg1-1.debian.tar.xz               22-Jul-2022 23:53                9132
minizinc_2.6.4+dfsg1-1.dsc                         22-Jul-2022 23:53                1801
minizinc_2.6.4+dfsg1-1_amd64.deb                   23-Jul-2022 00:28             2031904
minizinc_2.6.4+dfsg1.orig.tar.xz                   22-Jul-2022 23:53              879400