Bug#702056: Additional remarks

[Julien Puydt]

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