| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minizinc_2.8.6+dfsg1-1.debian.tar.xz | 11.4 KiB | 2024-Sep-29 06:52 |
| minizinc_2.8.6+dfsg1-1.dsc | 1.8 KiB | 2024-Sep-29 06:52 |
| minizinc_2.8.6+dfsg1-1_riscv64.deb | 2.4 MiB | 2024-Sep-29 06:49 |
| minizinc_2.8.6+dfsg1.orig.tar.xz | 967.5 KiB | 2024-Sep-29 06:52 |