aboutsummaryrefslogtreecommitdiff
path: root/MOVED
diff options
context:
space:
mode:
authorRene Ladan <rene@FreeBSD.org>2015-03-01 21:24:40 +0000
committerRene Ladan <rene@FreeBSD.org>2015-03-01 21:24:40 +0000
commitf47967987e7ba3006f788efd469fdaf8f047b9a8 (patch)
tree00e46f466d0eaa31cfa18287a230fa9f0d4937cc /MOVED
parent92a699e645bad0dc2cb42c05cc06c969442528fa (diff)
downloadports-f47967987e7ba3006f788efd469fdaf8f047b9a8.tar.gz
ports-f47967987e7ba3006f788efd469fdaf8f047b9a8.zip
Remove expired port:
2015-02-28 math/isabelle: Broken for more than 6 months
Notes
Notes: svn path=/head/; revision=380228
Diffstat (limited to 'MOVED')
-rw-r--r--MOVED1
1 files changed, 1 insertions, 0 deletions
diff --git a/MOVED b/MOVED
index 90aab0a4bdb0..e28cf497fc49 100644
--- a/MOVED
+++ b/MOVED
@@ -7436,3 +7436,4 @@ net/xrdesktop||2015-03-01|Has expired: Unmaintained upstream - please use net/xr
www/mediawiki122||2015-03-01|Has expired: Deprecated by upstream, use www/mediawiki12{3,4} instead
www/mod_cplusplus||2015-03-01|Has expired: written for apache 2.0, no longer maintained upstream
www/py-django15||2015-03-01|Has expired: not supported by upstream
+math/isabelle||2015-03-01|Has expired: Broken for more than 6 months