math/cryptominisat: Update to 5.6.3.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16645
Description
Description
Details
Details
- Provenance
arrowd Authored on - Differential Revision
- D16645: math/cryptominisat: Update to 5.6.3.
- Parents
- rP476817: net/hs-network-info: Upgrade to 0.2.0.10.
- Branches
- Unknown
- Tags