Package: minizinc-ide

• 2.5.3-1 (main) [bullseye, sid]
• 2.1.7-1 (main) [buster]
• 2.0.14-1 (main) [stretch]