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_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.5.3-1_amd64.deb | 754.9 KiB | December 10, 2020 |
minizinc-ide_2.6.3-1_mips64el.deb | 794.8 KiB | May 29, 2022 |
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.8.2-1+b1_arm64.deb | 817.8 KiB | March 15, 2024 |
minizinc-ide_2.8.2-1+b1_amd64.deb | 889.3 KiB | March 16, 2024 |
minizinc-ide_2.8.2-1+b1_i386.deb | 935.9 KiB | March 16, 2024 |
minizinc-ide_2.8.2-1+b1_mips64el.deb | 816.9 KiB | March 17, 2024 |