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
minizinc-ide_2.6.3-1.debian.tar.xz                 30-Apr-2023 00:20     13K
minizinc-ide_2.6.3-1.dsc                           30-Apr-2023 00:20    1789
minizinc-ide_2.6.3-1_amd64.deb                     30-Apr-2023 22:56    847K
minizinc-ide_2.6.3-1_arm64.deb                     30-Apr-2023 22:56    785K
minizinc-ide_2.6.3.orig.tar.gz                     30-Apr-2023 00:20    808K