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