| Parent directory/ | - | - |
| minizinc-ide_2.5.3-1.dsc | 1.7 KiB | 09 Dec 2020 18:17:54 +0000 |
| minizinc-ide_2.1.7-1.dsc | 1.7 KiB | 23 Jan 2018 16:43:42 +0000 |
| minizinc-ide_2.6.3-1.dsc | 1.7 KiB | 29 May 2022 16:20:56 +0000 |
| minizinc-ide_2.8.5-1.dsc | 1.8 KiB | 27 Aug 2024 04:28:13 +0000 |
| minizinc-ide_2.1.7-1.debian.tar.xz | 8.7 KiB | 23 Jan 2018 16:43:42 +0000 |
| minizinc-ide_2.8.5-1.debian.tar.xz | 8.9 KiB | 27 Aug 2024 04:28:13 +0000 |
| minizinc-ide_2.5.3-1.debian.tar.xz | 12.7 KiB | 09 Dec 2020 18:17:54 +0000 |
| minizinc-ide_2.6.3-1.debian.tar.xz | 12.9 KiB | 29 May 2022 16:20:56 +0000 |
| minizinc-ide_2.1.7.orig.tar.gz | 210.5 KiB | 23 Jan 2018 16:43:42 +0000 |
| minizinc-ide_2.1.7-1_amd64.deb | 244.2 KiB | 23 Jan 2018 16:43:42 +0000 |
| minizinc-ide_2.5.3-1_amd64.deb | 754.9 KiB | 10 Dec 2020 00:14:13 +0000 |
| minizinc-ide_2.5.3.orig.tar.gz | 779.7 KiB | 09 Dec 2020 18:17:54 +0000 |
| minizinc-ide_2.6.3.orig.tar.gz | 807.9 KiB | 29 May 2022 16:20:56 +0000 |
| minizinc-ide_2.8.5.orig.tar.gz | 815.6 KiB | 27 Aug 2024 04:28:13 +0000 |
| minizinc-ide_2.6.3-1_amd64.deb | 846.8 KiB | 29 May 2022 16:56:03 +0000 |
| minizinc-ide_2.8.5-1_amd64.deb | 898.2 KiB | 27 Aug 2024 04:53:28 +0000 |
