Hi, I also notice:
- the debian package has libpolybory-0.8.so and libpolybori-groebner-0.8.so, while the sage 5.7 polybori spkg has libpolybory.so and libpolybori-groebner.so ;
- polybori.h is only in /usr/include/polybori/ in the debian package, while in sage there is one in $SAGE_LOCAL/include and one in $SAGE_LOCAL/include/polybori/ (!)
But perhaps all of this will change with 0.8.3, both in debian and in sage? Snark on #debian-science -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org