aboutsummaryrefslogtreecommitdiff
path: root/MOVED
diff options
context:
space:
mode:
authorJohn Marino <marino@FreeBSD.org>2015-12-10 20:20:22 +0000
committerJohn Marino <marino@FreeBSD.org>2015-12-10 20:20:22 +0000
commit6e3d37113d315f9c16575b99520251c7ef34fcae (patch)
treea95b83fd329c9d43c7fa8c6ee216b53e12d5c00d /MOVED
parent5b1ddddad1ecca7419fa40d6b0795cd8fa4e6675 (diff)
Notes
Diffstat (limited to 'MOVED')
-rw-r--r--MOVED1
1 files changed, 1 insertions, 0 deletions
diff --git a/MOVED b/MOVED
index ef8eb91c44bf..4967d0e034da 100644
--- a/MOVED
+++ b/MOVED
@@ -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)