| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 minizinc_2.10.0_aarch64.deb | 1769376 bytes | 2026-07-23 12:49:02 |
| 📄 minizinc_2.10.0_arm.deb | 1808348 bytes | 2026-07-23 12:49:02 |
| 📄 minizinc_2.10.0_i686.deb | 2094372 bytes | 2026-07-23 12:49:02 |
| 📄 minizinc_2.10.0_x86_64.deb | 2077812 bytes | 2026-07-23 12:49:03 |