minizinc-ide 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>



 -- Kari Pahula <Kari Pahula <kaol@debian.org>>  Thu, 07 May 2015 19:11:17 +0300

