svn commit: r380228 - in head: . math math/isabelle

[Rene Ladan]

Author: rene
Date: Sun Mar  1 21:24:40 2015
New Revision: 380228
URL: https://svnweb.freebsd.org/changeset/ports/380228
QAT: https://qat.redports.org/buildarchive/r380228/

Log:
  Remove expired port:
  2015-02-28 math/isabelle: Broken for more than 6 months

Deleted:
  head/math/isabelle/
Modified:
  head/MOVED
  head/math/Makefile

Modified: head/MOVED
==============================================================================
--- head/MOVED	Sun Mar  1 21:14:57 2015	(r380227)
+++ head/MOVED	Sun Mar  1 21:24:40 2015	(r380228)
@@ -7436,3 +7436,4 @@ net/xrdesktop||2015-03-01|Has expired: U
 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

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Sun Mar  1 21:14:57 2015	(r380227)
+++ head/math/Makefile	Sun Mar  1 21:24:40 2015	(r380228)
@@ -185,7 +185,6 @@
     SUBDIR += hs-vector-space
     SUBDIR += igraph
     SUBDIR += ipopt
-    SUBDIR += isabelle
     SUBDIR += ised
     SUBDIR += jacal
     SUBDIR += jags