| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minizinc_2.0.14+dfsg1.orig.tar.gz | 438.2 KiB | 2016-Aug-28 16:46 |
| minizinc_2.0.14+dfsg1-1_armhf.deb | 960.7 KiB | 2016-Sep-03 16:08 |
| minizinc_2.0.14+dfsg1-1.dsc | 1.7 KiB | 2016-Aug-28 16:46 |
| minizinc_2.0.14+dfsg1-1.debian.tar.xz | 9.0 KiB | 2016-Aug-28 16:46 |