Parent directory/ | - | - |
minizinc-ide_2.0.10-1.debian.tar.xz | 8540 | 03-Jan-2016 09:14 |
minizinc-ide_2.0.10-1.dsc | 1759 | 03-Jan-2016 09:14 |
minizinc-ide_2.0.10-1_amd64.deb | 275K | 03-Jan-2016 09:28 |
minizinc-ide_2.0.10-1_i386.deb | 285K | 03-Jan-2016 09:14 |
minizinc-ide_2.0.10.orig.tar.gz | 406K | 03-Jan-2016 09:14 |
minizinc-ide_2.1.7-1.debian.tar.xz | 8956 | 24-Jan-2018 03:28 |
minizinc-ide_2.1.7-1.dsc | 1769 | 24-Jan-2018 03:28 |
minizinc-ide_2.1.7-1_amd64.deb | 246K | 24-Jan-2018 03:28 |
minizinc-ide_2.1.7-1_i386.deb | 262K | 24-Jan-2018 03:29 |
minizinc-ide_2.1.7.orig.tar.gz | 210K | 24-Jan-2018 03:28 |
minizinc-ide_2.4.2-2build1.debian.tar.xz | 8852 | 22-Mar-2020 21:10 |
minizinc-ide_2.4.2-2build1.dsc | 1812 | 22-Mar-2020 21:10 |
minizinc-ide_2.4.2-2build1_amd64.deb | 529K | 22-Mar-2020 22:00 |
minizinc-ide_2.4.2.orig.tar.gz | 469K | 11-Jan-2020 03:13 |
minizinc-ide_2.5.3-1.debian.tar.xz | 13K | 10-Dec-2020 09:23 |
minizinc-ide_2.5.3-1.dsc | 1766 | 10-Dec-2020 09:23 |
minizinc-ide_2.5.3-1_amd64.deb | 755K | 10-Dec-2020 09:39 |
minizinc-ide_2.5.3.orig.tar.gz | 780K | 10-Dec-2020 09:23 |
minizinc-ide_2.8.2-1build2.debian.tar.xz | 13K | 01-Apr-2024 12:00 |
minizinc-ide_2.8.2-1build2.dsc | 1892 | 01-Apr-2024 12:00 |
minizinc-ide_2.8.2-1build2_amd64.deb | 889K | 02-Apr-2024 03:02 |
minizinc-ide_2.8.2.orig.tar.gz | 816K | 02-Jan-2024 03:31 |
minizinc-ide_2.8.5-1.debian.tar.xz | 9128 | 31-Oct-2024 23:11 |
minizinc-ide_2.8.5-1.dsc | 1810 | 31-Oct-2024 23:11 |
minizinc-ide_2.8.5-1_amd64.deb | 923K | 01-Nov-2024 00:59 |
minizinc-ide_2.8.5.orig.tar.gz | 816K | 31-Oct-2024 23:11 |