Index of /ubuntu/pool/universe/m/minizinc/


../
minizinc_2.1.7+dfsg1-1_amd64.deb                   23-Jan-2018 23:28             1767276
minizinc_2.1.7+dfsg1-1_i386.deb                    23-Jan-2018 23:29             1822976
minizinc_2.4.2-1build1_amd64.deb                   24-Mar-2020 16:12             1481580