| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minizinc-ide_2.8.5-1+b1_arm64.deb | 840220 | 2026-Jan-20 18:23 |
| minizinc-ide_2.8.5-1_amd64.deb | 919748 | 2024-Aug-27 04:53 |
| minizinc-ide_2.8.5-1_arm64.deb | 843008 | 2024-Aug-27 04:53 |
| minizinc-ide_2.6.3-1_amd64.deb | 867132 | 2022-May-29 16:56 |