../ minizinc-ide_2.5.3-1.debian.tar.xz 09-Dec-2020 18:17 13040 minizinc-ide_2.5.3-1.dsc 09-Dec-2020 18:17 1766 minizinc-ide_2.5.3-1_amd64.deb 10-Dec-2020 00:14 773044 minizinc-ide_2.5.3-1_arm64.deb 09-Dec-2020 23:58 713224 minizinc-ide_2.5.3-1_armhf.deb 10-Dec-2020 00:14 717672 minizinc-ide_2.5.3-1_i386.deb 10-Dec-2020 00:13 816052 minizinc-ide_2.5.3.orig.tar.gz 09-Dec-2020 18:17 798423 minizinc-ide_2.6.3-1.debian.tar.xz 29-May-2022 16:20 13224 minizinc-ide_2.6.3-1.dsc 29-May-2022 16:20 1789 minizinc-ide_2.6.3-1_amd64.deb 29-May-2022 16:56 867132 minizinc-ide_2.6.3-1_arm64.deb 29-May-2022 16:56 803584 minizinc-ide_2.6.3-1_armhf.deb 29-May-2022 17:11 781360 minizinc-ide_2.6.3-1_i386.deb 29-May-2022 16:56 918176 minizinc-ide_2.6.3-1_mips64el.deb 29-May-2022 16:55 813876 minizinc-ide_2.6.3-1_mipsel.deb 29-May-2022 17:26 821728 minizinc-ide_2.6.3.orig.tar.gz 29-May-2022 16:20 827264 minizinc-ide_2.8.5-1.debian.tar.xz 27-Aug-2024 04:28 9128 minizinc-ide_2.8.5-1.dsc 27-Aug-2024 04:28 1810 minizinc-ide_2.8.5-1_amd64.deb 27-Aug-2024 04:53 919748 minizinc-ide_2.8.5-1_arm64.deb 27-Aug-2024 04:53 843008 minizinc-ide_2.8.5-1_armhf.deb 27-Aug-2024 04:53 824716 minizinc-ide_2.8.5-1_i386.deb 27-Aug-2024 04:48 968672 minizinc-ide_2.8.5.orig.tar.gz 27-Aug-2024 04:28 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.