Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
minizinc-ide_2.4.2-2build1_amd64.deb | 2020-03-23 01:00 | 529K | |
minizinc-ide_2.5.3-1_amd64.deb | 2020-12-10 12:39 | 755K | |
minizinc-ide_2.8.2-1build2_amd64.deb | 2024-04-02 06:02 | 889K |
Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
minizinc-ide_2.4.2-2build1_amd64.deb | 2020-03-23 01:00 | 529K | |
minizinc-ide_2.5.3-1_amd64.deb | 2020-12-10 12:39 | 755K | |
minizinc-ide_2.8.2-1build2_amd64.deb | 2024-04-02 06:02 | 889K |