K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-12-10T20:20:22.570376Z
K 7
svn:log
V 342
Move math/why3-gpl => math/why3-spark

There are two reasons to rename this port.
1) Upstream never liked it and requested -spark be the suffix instead
2) An ongoing attempt to fix lang/spark may result in a number of slave
   ports with a -spark suffix, so this keeps up consistency as all of
   these ports only exist to support that port.

END