math/cryptominisat and math/py-cryptominisat to 5.6.8.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19302
Description
Description
Details
Details
- Provenance
arrowd Authored on - Differential Revision
- D19302: Update math/[py-]cryptominisat to 5.6.8.
- Parents
- rP493703: - Update to 2.32
- Branches
- Unknown
- Tags