DevHeads.net

normaliz soname change

I'm building normaliz 3.7.2 for Rawhide. It changes the soname from
libnormaliz.so.0 to libnormaliz.so.3. The only dependent package is
polymake, which I am rebuilding.