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                 14-Jun-2023 17:22     13K
minizinc-ide_2.6.3-1.dsc                           14-Jun-2023 17:22    1789
minizinc-ide_2.6.3-1_amd64.deb                     15-Jun-2023 05:21    847K
minizinc-ide_2.6.3-1_arm64.deb                     15-Jun-2023 05:21    785K
minizinc-ide_2.6.3.orig.tar.gz                     14-Jun-2023 17:22    808K
minizinc-ide_2.8.2-1+b1_amd64.deb                  10-May-2024 17:05    889K
minizinc-ide_2.8.2-1+b1_arm64.deb                  10-May-2024 17:05    818K
minizinc-ide_2.8.2-1.debian.tar.xz                 10-May-2024 03:36     13K
minizinc-ide_2.8.2-1.dsc                           10-May-2024 03:36    1789
minizinc-ide_2.8.2.orig.tar.gz                     10-May-2024 03:36    816K
minizinc-ide_2.8.5-1.debian.tar.xz                 12-Sep-2024 04:16    9128
minizinc-ide_2.8.5-1.dsc                           12-Sep-2024 04:16    1810
minizinc-ide_2.8.5-1_amd64.deb                     27-Sep-2024 15:44    898K
minizinc-ide_2.8.5-1_arm64.deb                     27-Sep-2024 15:44    823K
minizinc-ide_2.8.5.orig.tar.gz                     12-Sep-2024 04:16    816K