John Marino 6e3d37113d 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.		2015-12-10 20:20:22 +00:00
..
files
distinfo
Makefile	Move math/why3-gpl => math/why3-spark	2015-12-10 20:20:22 +00:00
pkg-descr
pkg-plist