K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2016-06-12T13:09:22.709442Z
K 7
svn:log
V 57
math/why3-spark: Upgrade version 2015 => 2016 (unbreaks)

END