K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2020-03-27T14:59:07.722449Z
K 7
svn:log
V 107
math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying dependency on
cryptomisat.

END