| Parent directory/ | - | - |
| minizinc-ide_2.0.14-1+b1_amd64.deb | 238.8 KiB | 01 Dec 2023 22:59:39 +0000 |
| minizinc-ide_2.0.14-1+b1_armhf.deb | 222.5 KiB | 01 Dec 2023 22:59:39 +0000 |
| minizinc-ide_2.0.14-1+b1_i386.deb | 256.7 KiB | 01 Dec 2023 22:59:39 +0000 |
| minizinc-ide_2.0.14-1.debian.tar.xz | 8.8 KiB | 01 Dec 2023 22:59:40 +0000 |
| minizinc-ide_2.0.14-1.dsc | 1.7 KiB | 01 Dec 2023 22:59:40 +0000 |
| minizinc-ide_2.0.14.orig.tar.gz | 204.5 KiB | 01 Dec 2023 22:59:40 +0000 |
| minizinc-ide_2.1.7-1_amd64.deb | 244.2 KiB | 23 Jan 2018 16:43:42 +0000 |
| minizinc-ide_2.1.7-1_arm64.deb | 233.2 KiB | 23 Jan 2018 17:14:02 +0000 |
| minizinc-ide_2.1.7-1_armhf.deb | 227.8 KiB | 23 Jan 2018 18:15:08 +0000 |
| minizinc-ide_2.1.7-1_i386.deb | 260.2 KiB | 23 Jan 2018 17:59:48 +0000 |
