b85dfc1 Version 4.2.0p2.

Authored and Committed by jjames 3 years ago
    Version 4.2.0p2.
    
    - Drop the -polymake subpackage; the polymake library is no longer linked.
    - Drop the -polymake and -flint patches.
    
        
file modified
+6 -6
file removed
-22
file modified
+3 -14
file modified
+4 -6
file modified
+21 -31
file removed
-736
file modified
+39 -55
file modified
+2 -2