K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-06-08T10:48:10.109931Z
K 7
svn:log
V 399
math/why3-gpl: Increase distinction between this and math/wny3

The why3 project is worried that users will be confused between this
package and a "vanilla" why3, which was simultaneously added with this
one.  They prefer that this port be completely renamed.

While I ponder that, I can at least improve the situation by fixing the
descriptions to lessen the chance of confusion between the ports.

END