K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2018-08-10T09:24:41.430279Z
K 7
svn:log
V 127
math/cryptominisat: Update to 5.6.3.

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

END