K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2021-02-04T09:58:33.794298Z
K 7
svn:log
V 129
Remove math/why3

This port depends on deprecated gnome2 only libraries, the port is unmaintained for
a while and very outdated.

END