K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2016-06-13T20:04:52.398078Z
K 7
svn:log
V 168
math/why3-spark: Try to fix build on F10

CC was defined twice in the makefile; once by the ${CC} variable
and later redefined to "gcc".  FreeBSD 10 doesn't like that.

END