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