HomeFreeBSD

math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it…

Description

math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was affected by this issue.

Details

Committed
arrowdMar 4 2020, 6:03 PM
Parents
rP527791: MFH: r523512
Branches
Unknown
Tags
Unknown