31b36bd 3.1.5-11

Authored and Committed by Rex Dieter 10 years ago
    3.1.5-11
    
    - fix/workaround char=unsigned char assumptions
    - (more) consistently use RPM_OPT_FLAGS
    - --with-flint --with-polymake
    
        
file added
+186
file modified
+18 -6
file modified
+62 -15