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