org.www.minizinc.minizinc-ide for Debian
---------------------------------------

<possible notes regarding this package - if none, delete this file>

 -- root <root@kylin-PC>  Fri, 05 Dec 2025 15:21:26 +0800
