-
minizinc (2.0.14+dfsg1-1) unstable; urgency=medium
* New upstream release
- Include cmath where needed. (Closes: #830457)
* Bump standards-version to 3.9.8 (no changes necessary).
-- Kari Pahula <email address hidden> Sun, 28 Aug 2016 18:44:29 +0300
-
minizinc (2.0.13+dfsg1-1ubuntu1) yakkety; urgency=medium
* debian/patches/glibc-2.23: Include cmath to fix undefined floor and ceil.
-- Logan Rosen <email address hidden> Thu, 05 May 2016 22:58:16 -0400
-
minizinc (2.0.13+dfsg1-1) unstable; urgency=medium
* New upstream release
-- Kari Pahula <email address hidden> Thu, 07 Apr 2016 21:12:57 +0300
-
minizinc (2.0.11+dfsg1-1) unstable; urgency=medium
* New upstream release
-- Kari Pahula <email address hidden> Sun, 17 Jan 2016 17:54:50 +0200