com.github.minizinc.minizincide for Debian
-----------------------------------------

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

 -- root <root@kylin-PC>  Fri, 21 Nov 2025 12:10:21 +0800
