K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2020-07-09T15:44:39.594833Z
K 7
svn:log
V 101
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1

Bump PORTREVISIONs of consumer ports.

END