Parent directory/ | - | - |
minizinc-ide_2.1.7-1_amd64.deb | 244.2 KiB | January 23, 2018 |
minizinc-ide_2.1.7-1_arm64.deb | 233.2 KiB | January 23, 2018 |
minizinc-ide_2.1.7-1_i386.deb | 260.2 KiB | January 23, 2018 |
minizinc-ide_2.5.3-1_amd64.deb | 754.9 KiB | December 10, 2020 |
minizinc-ide_2.5.3-1_arm64.deb | 696.5 KiB | December 9, 2020 |
minizinc-ide_2.5.3-1_i386.deb | 796.9 KiB | December 10, 2020 |
minizinc-ide_2.6.3-1_amd64.deb | 846.8 KiB | May 29, 2022 |
minizinc-ide_2.6.3-1_arm64.deb | 784.8 KiB | May 29, 2022 |
minizinc-ide_2.6.3-1_i386.deb | 896.7 KiB | May 29, 2022 |
minizinc-ide_2.6.3-1_mips64el.deb | 794.8 KiB | May 29, 2022 |
minizinc-ide_2.8.5-1_amd64.deb | 898.2 KiB | August 27, 2024 |
minizinc-ide_2.8.5-1_arm64.deb | 823.3 KiB | August 27, 2024 |
minizinc-ide_2.8.5-1_i386.deb | 946.0 KiB | August 27, 2024 |
minizinc-ide_2.8.5-1_mips64el.deb | 820.7 KiB | August 27, 2024 |