Index of /nova/pool/extendido/m/minizinc-ide/

../
minizinc-ide_2.1.7-1.debian.tar.xz                 11-Jun-2020 04:15                8956
minizinc-ide_2.1.7-1.dsc                           11-Jun-2020 04:15                1769
minizinc-ide_2.1.7-1_amd64.deb                     11-Jun-2020 03:40              252076
minizinc-ide_2.1.7-1_i386.deb                      11-Jun-2020 04:52              268416
minizinc-ide_2.1.7.orig.tar.gz                     11-Jun-2020 04:15              215504
minizinc-ide_2.4.2-2build1.debian.tar.xz           22-Jun-2020 08:21                8852
minizinc-ide_2.4.2-2build1.dsc                     22-Jun-2020 08:21                1812
minizinc-ide_2.4.2-2build1_amd64.deb               22-Jun-2020 03:36              541712
minizinc-ide_2.4.2.orig.tar.gz                     22-Jun-2020 08:21              480006
minizinc-ide_2.5.3-1.debian.tar.xz                 30-Apr-2022 19:50               13040
minizinc-ide_2.5.3-1.dsc                           30-Apr-2022 19:50                1766
minizinc-ide_2.5.3-1_amd64.deb                     30-Apr-2022 08:41              772668
minizinc-ide_2.5.3.orig.tar.gz                     30-Apr-2022 19:50              798423