math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.
Reviewed by: mat
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D15735
Description
Description
Details
Details
- Provenance
arrowd Authored on - Reviewer
- mat
- Differential Revision
- D15735: math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.
- Parents
- rP472632: - Update to 0.7.0
- Branches
- Unknown
- Tags