../ minizinc-ide_2.0.10-1.debian.tar.xz 03-Jan-2016 05:14 8540 minizinc-ide_2.0.10-1.dsc 03-Jan-2016 05:14 1759 minizinc-ide_2.0.10-1_amd64.deb 03-Jan-2016 05:28 281702 minizinc-ide_2.0.10-1_i386.deb 03-Jan-2016 05:14 292276 minizinc-ide_2.0.10.orig.tar.gz 03-Jan-2016 05:14 415324 minizinc-ide_2.1.7-1.debian.tar.xz 23-Jan-2018 23:28 8956 minizinc-ide_2.1.7-1.dsc 23-Jan-2018 23:28 1769 minizinc-ide_2.1.7-1_amd64.deb 23-Jan-2018 23:28 252076 minizinc-ide_2.1.7-1_i386.deb 23-Jan-2018 23:29 268416 minizinc-ide_2.1.7.orig.tar.gz 23-Jan-2018 23:28 215504 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 minizinc-ide_2.8.2-1build2.debian.tar.xz 01-Apr-2024 08:00 13408 minizinc-ide_2.8.2-1build2.dsc 01-Apr-2024 08:00 1892 minizinc-ide_2.8.2-1build2_amd64.deb 01-Apr-2024 23:02 909930 minizinc-ide_2.8.2.orig.tar.gz 01-Jan-2024 23:31 835086 minizinc-ide_2.8.5-1.debian.tar.xz 31-Oct-2024 19:11 9128 minizinc-ide_2.8.5-1.dsc 31-Oct-2024 19:11 1810 minizinc-ide_2.8.5-1_amd64.deb 31-Oct-2024 20:59 944830 minizinc-ide_2.8.5.orig.tar.gz 31-Oct-2024 19:11 835165
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.