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

../
minizinc-ide_2.4.2-2build1.debian.tar.xz           31-Aug-2023 00:30                8852
minizinc-ide_2.4.2-2build1.dsc                     31-Aug-2023 00:30                1812
minizinc-ide_2.4.2-2build1_arm64.deb               31-Aug-2023 00:30              508164
minizinc-ide_2.4.2.orig.tar.gz                     31-Aug-2023 00:30              480006
minizinc-ide_2.5.3-1.debian.tar.xz                 31-Aug-2023 00:30               13040
minizinc-ide_2.5.3-1.dsc                           31-Aug-2023 00:30                1766
minizinc-ide_2.5.3-1_arm64.deb                     31-Aug-2023 00:30              713028
minizinc-ide_2.5.3.orig.tar.gz                     31-Aug-2023 00:30              798423
minizinc-ide_2.8.2-1build2.debian.tar.xz           05-Apr-2024 00:21               13408
minizinc-ide_2.8.2-1build2.dsc                     05-Apr-2024 00:21                1892
minizinc-ide_2.8.2-1build2_arm64.deb               05-Apr-2024 00:21              871622
minizinc-ide_2.8.2.orig.tar.gz                     03-Jan-2024 00:08              835086