K 10
svn:author
V 3
cpm
K 8
svn:date
V 27
2016-09-01T13:25:49.209382Z
K 7
svn:log
V 162
- Update math/cryptominisat and math/py-cryptominisat to 5.0.0

PR:		211460
Submitted by:	maintainer
Reviewed by:	koobs, feld (mentor)
Approved by:	feld (mentor)

END