HomeFreeBSD

math/cryptominisat and math/py-cryptominisat to 5.6.8.

Description

math/cryptominisat and math/py-cryptominisat to 5.6.8.

Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19302

Details

Provenance
arrowdAuthored on
Differential Revision
D19302: Update math/[py-]cryptominisat to 5.6.8.
Parents
rP493703: - Update to 2.32
Branches
Unknown
Tags
Unknown