File Name | File Size | Date |
---|---|---|
Parent directory/ | - | - |
minizinc_2.0.13+dfsg1-1_amd64.deb | 1M | 19-Aug-2017 17:44 |
minizinc_2.1.7+dfsg1-1.debian.tar.xz | 9436 | 23-Jan-2018 16:43 |
minizinc_2.1.7+dfsg1-1.dsc | 1807 | 23-Jan-2018 16:43 |
minizinc_2.1.7+dfsg1-1_amd64.deb | 2M | 23-Jan-2018 16:43 |
minizinc_2.1.7+dfsg1.orig.tar.xz | 487K | 23-Jan-2018 16:43 |