summaryrefslogtreecommitdiff
path: root/math/stp/files/patch-STPConfig.cmake.in (follow)
Commit message (Expand)AuthorAgeFilesLines
* math/stp and math/cryptominisat: Use correct patch (at STP side) for specifyi...Gleb Popov2020-03-271-0/+12