Remove math/why3
This port depends on deprecated gnome2 only libraries, the port is unmaintained for
a while and very outdated.
Description
Description
Details
Details
- Provenance
bapt Authored on - Parents
- rP564007: MFH: r563895 r564006
- Branches
- Unknown
- Tags