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

<this file describes information about the source package, see Debian policy
manual section 4.14. You WILL either need to modify or delete this file>



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

