Index of /pureos/pool/main/m/minizinc-ide/


../
minizinc-ide_2.1.7-1+b1_amd64.deb                  02-Oct-2019 15:40              256220
minizinc-ide_2.1.7-1.debian.tar.xz                 29-Jan-2018 08:01                8956
minizinc-ide_2.1.7-1.dsc                           29-Jan-2018 08:01                1769
minizinc-ide_2.1.7-1_amd64.deb                     29-Jan-2018 08:03              250072
minizinc-ide_2.1.7-1_arm64.deb                     07-Mar-2018 04:17              238828
minizinc-ide_2.1.7.orig.tar.gz                     29-Jan-2018 08:01              215504