K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2020-04-07T21:43:48.841789Z
K 7
svn:log
V 88
math/yices: Update 2.6.1 -> 2.6.2

Also change http -> https, and add binary stripping.

END