diff options
| author | marino <marino@FreeBSD.org> | 2015-12-11 04:20:22 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2015-12-11 04:20:22 +0800 |
| commit | e23960f1dd131160d614d29d577a0947a3a613b6 (patch) | |
| tree | a95b83fd329c9d43c7fa8c6ee216b53e12d5c00d /MOVED | |
| parent | 53ce3cb3a8ee4af0e4a0a99b84d83fe88410b32a (diff) | |
| download | freebsd-ports-gnome-e23960f1dd131160d614d29d577a0947a3a613b6.tar.gz freebsd-ports-gnome-e23960f1dd131160d614d29d577a0947a3a613b6.tar.zst freebsd-ports-gnome-e23960f1dd131160d614d29d577a0947a3a613b6.zip | |
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.
Diffstat (limited to 'MOVED')
| -rw-r--r-- | MOVED | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -8044,3 +8044,4 @@ multimedia/fpc-matroska||2015-12-05|Eliminated during FPC upgrade to 3.0.0 security/fpc-hash||2015-12-05|Eliminated during FPC upgrade to 3.0.0 www/jetty|www/jetty8|2015-12-06|Rename to prepare for jetty9 devel/pyinstaller|devel/py-pyinstaller|2015-12-09|Add py- prefix to directory name +math/why3-gpl|math/why3-spark|2015-12-10|Change why3 suffix (upstream request and for consistency) |