File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
minizinc_2.1.7+dfsg1-1_i386.deb | 1831260 | 2022-Apr-11 03:20 |
minizinc_2.1.7+dfsg1-1_amd64.deb | 1774416 | 2022-Apr-11 03:01 |
minizinc_2.1.7+dfsg1.orig.tar.xz | 498588 | 2022-Apr-11 03:11 |
minizinc_2.1.7+dfsg1-1.debian.tar.xz | 9436 | 2022-Apr-11 03:11 |
minizinc_2.1.7+dfsg1-1.dsc | 1807 | 2022-Apr-11 03:11 |