CVSROOT:        /cvs
Module name:    ports
Changes by:     e...@cvs.openbsd.org    2018/04/11 08:36:14

Added files:
        math/minisat/patches: patch-minisat_core_Solver_cc 
                              patch-minisat_utils_Options_h 

Log message:
math/minisat: Fix for clang 6.

OK sthen@, thanks.

Reply via email to