K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2019-02-23T16:31:47.651029Z
K 7
svn:log
V 145
math/cryptominisat and math/py-cryptominisat to 5.6.8.

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

END