| Parent directory/ | - | - |
| minizinc_2.0.14+dfsg1-1.dsc | 1.7 KiB | 2016-Aug-28 12:46 |
| minizinc_2.1.7+dfsg1-1.dsc | 1.8 KiB | 2018-Jan-23 12:43 |
| minizinc_2.5.3+dfsg1-1.dsc | 1.8 KiB | 2020-Dec-09 14:17 |
| minizinc_2.5.3+dfsg1-1.debian.tar.xz | 8.8 KiB | 2020-Dec-09 14:17 |
| minizinc_2.0.14+dfsg1-1.debian.tar.xz | 9.0 KiB | 2016-Aug-28 12:46 |
| minizinc_2.1.7+dfsg1-1.debian.tar.xz | 9.2 KiB | 2018-Jan-23 12:43 |
| minizinc_2.0.14+dfsg1.orig.tar.gz | 438.2 KiB | 2016-Aug-28 12:46 |
| minizinc_2.1.7+dfsg1.orig.tar.xz | 486.9 KiB | 2018-Jan-23 12:43 |
| minizinc_2.0.14+dfsg1-1_armhf.deb | 960.7 KiB | 2016-Sep-03 12:08 |
| minizinc_2.5.3+dfsg1-1_armhf.deb | 1.3 MiB | 2020-Dec-15 06:08 |
| minizinc_2.1.7+dfsg1-1_armhf.deb | 1.4 MiB | 2018-Jan-29 06:08 |
| minizinc_2.5.3+dfsg1.orig.tar.gz | 1.5 MiB | 2020-Dec-09 14:17 |