![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| minizinc-ide_2.0.8-1/ | 2016-04-15 15:59 | - | |
| minizinc-ide_2.0.10-1/ | 2016-04-15 05:15 | - | |
| minizinc-ide_2.0.13-1/ | 2016-04-27 03:22 | - | |
| minizinc-ide_2.0.14-1/ | 2016-11-02 05:41 | - | |
| minizinc-ide_2.1.7-1/ | 2018-01-23 23:30 | - | |
| minizinc-ide_2.4.2-1/ | 2020-01-10 23:30 | - | |
| minizinc-ide_2.4.2-2/ | 2020-01-19 17:30 | - | |
| minizinc-ide_2.4.2-2build1/ | 2020-03-22 17:39 | - | |
| minizinc-ide_2.4.3-1/ | 2020-04-27 21:32 | - | |
| minizinc-ide_2.5.1-1/ | 2020-10-28 21:25 | - | |
| minizinc-ide_2.5.2-1/ | 2020-11-15 23:30 | - | |
| minizinc-ide_2.5.3-1/ | 2020-12-10 05:30 | - | |
| minizinc-ide_2.6.3-1/ | 2022-05-29 23:30 | - | |
| minizinc-ide_2.8.2-1/ | 2024-01-02 00:00 | - | |
| minizinc-ide_2.8.2-1build1/ | 2024-03-15 06:31 | - | |
| minizinc-ide_2.8.2-1build2/ | 2024-04-01 08:55 | - | |