K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-06-26T22:13:46.978172Z
K 7
svn:log
V 249
math/why3-gpl: upgrade version 2014 => 2015

While here, decouple this port from math/why3.  They are diverging fast.
This port is needed to build SPARK 2015 binaries which will be installed
by the lang/spark port (rather than building from source)

END