Debian
polybori package

Branches for Stretch

Name		Status	Last Modified	Last Commit
lp:debian/stretch/polybori		1 Development	2015-05-27 17:44:37 UTC 2015-05-27	12. [ Julien Puydt ] * Made the -dev pack... Author: Tobias Hansen Revision Date: 2015-03-17 22:13:55 UTC [ 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).