c69c93 Rebuild for normaliz 3.7.2.

Authored and Committed by jjames 5 months ago
    Rebuild for normaliz 3.7.2.
    
        
file modified
+6 -3