1. minizinc-ide_2.5.3-1.debian.tar.xz
2. minizinc-ide_2.5.3-1.dsc
3. minizinc-ide_2.5.3-1_amd64.deb
4. minizinc-ide_2.5.3-1_i386.deb
5. minizinc-ide_2.5.3.orig.tar.gz
6. minizinc-ide_2.6.3-1.debian.tar.xz
7. minizinc-ide_2.6.3-1.dsc
8. minizinc-ide_2.6.3-1_amd64.deb
9. minizinc-ide_2.6.3-1_i386.deb
10. minizinc-ide_2.6.3.orig.tar.gz
11. minizinc-ide_2.8.5-1.debian.tar.xz
12. minizinc-ide_2.8.5-1.dsc
13. minizinc-ide_2.8.5-1_amd64.deb
14. minizinc-ide_2.8.5-1_i386.deb
15. minizinc-ide_2.8.5.orig.tar.gz