|
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
minizinc-ide_2.8.2.orig.tar.gz | 816K | 01-Jan-2024 17:49 |
minizinc-ide_2.8.2-1.dsc | 1789 | 01-Jan-2024 17:49 |
minizinc-ide_2.8.2-1.debian.tar.xz | 13K | 01-Jan-2024 17:49 |
minizinc-ide_2.6.3.orig.tar.gz | 808K | 29-May-2022 20:20 |
minizinc-ide_2.6.3-1.dsc | 1789 | 29-May-2022 20:20 |
minizinc-ide_2.6.3-1.debian.tar.xz | 13K | 29-May-2022 20:20 |
minizinc-ide_2.5.3.orig.tar.gz | 780K | 09-Dec-2020 22:17 |
minizinc-ide_2.5.3-1.dsc | 1766 | 09-Dec-2020 22:17 |
minizinc-ide_2.5.3-1.debian.tar.xz | 13K | 09-Dec-2020 22:17 |
minizinc-ide_2.1.7.orig.tar.gz | 210K | 23-Jan-2018 20:43 |
minizinc-ide_2.1.7-1.dsc | 1769 | 23-Jan-2018 20:43 |
minizinc-ide_2.1.7-1.debian.tar.xz | 8956 | 23-Jan-2018 20:43 |
minizinc-ide_2.1.7-1+b1_armhf.deb | 226K | 07-Feb-2018 05:38 |