Index of /distfiles/minizinc/

../
libminizinc-2.5.0.tar.gz                           15-Oct-2020 14:55             1566053
libminizinc-2.5.1.tar.gz                           23-Oct-2020 12:50             1585376
libminizinc-2.5.2.tar.gz                           15-Nov-2020 12:40            12582611