math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was affected by this issue.
Description
Description
Details
Details
- Provenance
arrowd Authored on - Parents
- rP527791: MFH: r523512
- Branches
- Unknown
- Tags
math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it… Tags None Referenced Files None Subscribers None |