diff options
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) |