-
polybori (0.8.3-5build1) wily; urgency=medium
* No-change rebuild using boost 1.58.
-- Matthias Klose <email address hidden> Fri, 28 Aug 2015 12:55:18 +0000
-
polybori (0.8.3-5) unstable; urgency=medium
[ Julien Puydt ]
* Made the -dev package depend on libboost-dev. (Closes: #780570)
[ Tobias Hansen ]
* Made libpolybori-dev depend on libgd-dev, libpng12-dev and libm4ri-dev
since they are referenced in the pkg-config file.
* Made libpolybori-groebner-dev depend on libpolybori-dev (same reason).
-- Tobias Hansen <email address hidden> Tue, 17 Mar 2015 22:13:55 +0100
-
polybori (0.8.3-4) unstable; urgency=medium
* Modified the patch for clean pkg-config files. (Closes: #751098)
* Pushed Standards-Version up.
-- Julien Puydt <email address hidden> Wed, 04 Feb 2015 23:38:21 +0100