| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minizinc_2.1.7+dfsg1-1_i386.deb | 1.7 MiB | April 11, 2022 10:20 |
| minizinc_2.1.7+dfsg1.orig.tar.xz | 486.9 KiB | April 11, 2022 10:11 |
| minizinc_2.1.7+dfsg1-1.debian.tar.xz | 9.2 KiB | April 11, 2022 10:11 |
| minizinc_2.1.7+dfsg1-1.dsc | 1.8 KiB | April 11, 2022 10:11 |
| minizinc_2.1.7+dfsg1-1_amd64.deb | 1.7 MiB | April 11, 2022 10:01 |