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


../
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    244K
minizinc-ide_2.1.7-1_arm64.deb                     07-Mar-2018 04:17    233K
minizinc-ide_2.1.7.orig.tar.gz                     29-Jan-2018 08:01    210K
minizinc-ide_2.5.3-1.debian.tar.xz                 15-Dec-2020 02:45     13K
minizinc-ide_2.5.3-1.dsc                           15-Dec-2020 02:45    1766
minizinc-ide_2.5.3-1_amd64.deb                     15-Dec-2020 02:48    755K
minizinc-ide_2.5.3-1_arm64.deb                     15-Dec-2020 02:48    697K
minizinc-ide_2.5.3.orig.tar.gz                     15-Dec-2020 02:45    780K