../ 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 libminizinc-2.5.3.tar.gz 27-Nov-2020 22:45 12586186 libminizinc-2.5.4.tar.gz 16-Mar-2021 12:29 12595288 libminizinc-2.5.5.tar.gz 23-Mar-2021 08:06 12595439 libminizinc-2.6.2.tar.gz 05-May-2022 05:19 12968539 libminizinc-2.6.3.tar.gz 09-May-2022 00:24 12967548 libminizinc-2.6.4.tar.gz 26-Jun-2022 22:34 12975175