| Name ↑ | Last modified | Size | ||
|---|---|---|---|---|
| Parent Directory | - | - | ||
| minizinc-ide_2.5.3-1.debian.tar.xz | 09-Dec-2020 18:17 | 13 KiB | ||
| minizinc-ide_2.5.3-1.dsc | 09-Dec-2020 18:17 | 1.7 KiB | ||
| minizinc-ide_2.5.3-1_amd64.deb | 10-Dec-2020 00:14 | 755 KiB | ||
| minizinc-ide_2.5.3-1_i386.deb | 10-Dec-2020 00:13 | 797 KiB | ||
| minizinc-ide_2.5.3.orig.tar.gz | 09-Dec-2020 18:17 | 780 KiB | ||
| minizinc-ide_2.6.3-1.debian.tar.xz | 29-May-2022 16:20 | 13 KiB | ||
| minizinc-ide_2.6.3-1.dsc | 29-May-2022 16:20 | 1.7 KiB | ||
| minizinc-ide_2.6.3-1_amd64.deb | 29-May-2022 16:56 | 847 KiB | ||
| minizinc-ide_2.6.3-1_i386.deb | 29-May-2022 16:56 | 897 KiB | ||
| minizinc-ide_2.6.3.orig.tar.gz | 29-May-2022 16:20 | 808 KiB | ||
| minizinc-ide_2.8.5-1.debian.tar.xz | 27-Aug-2024 04:28 | 8.9 KiB | ||
| minizinc-ide_2.8.5-1.dsc | 27-Aug-2024 04:28 | 1.8 KiB | ||
| minizinc-ide_2.8.5-1_amd64.deb | 27-Aug-2024 04:53 | 898 KiB | ||
| minizinc-ide_2.8.5-1_i386.deb | 27-Aug-2024 04:48 | 946 KiB | ||
| minizinc-ide_2.8.5.orig.tar.gz | 27-Aug-2024 04:28 | 816 KiB | ||