Index of /ubuntu/pool/universe/m/minizinc-ide/

../
minizinc-ide_2.4.2-2build1.debian.tar.xz           22-Mar-2020 17:10                8852
minizinc-ide_2.4.2-2build1.dsc                     22-Mar-2020 17:10                1812
minizinc-ide_2.4.2-2build1_amd64.deb               22-Mar-2020 18:00              541712
minizinc-ide_2.4.2.orig.tar.gz                     10-Jan-2020 23:13              480006
minizinc-ide_2.5.3-1.debian.tar.xz                 10-Dec-2020 05:23               13040
minizinc-ide_2.5.3-1.dsc                           10-Dec-2020 05:23                1766
minizinc-ide_2.5.3-1_amd64.deb                     10-Dec-2020 05:39              772668
minizinc-ide_2.5.3.orig.tar.gz                     10-Dec-2020 05:23              798423