2bb2108 Update to 5.1.5, switch all builds to OpenCascade.

Authored and Committed by stevenfalco 4 years ago
    Update to 5.1.5, switch all builds to OpenCascade.
    
    Fedora 30 and up have OpenCascade, so we can stop using the older
    community edition (OCE).
    
        
file modified
+7 -0
file modified
+7 -15
file modified
+7 -7