Date: Sun, 1 Mar 2015 21:24:41 +0000 (UTC) From: Rene Ladan <rene@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r380228 - in head: . math math/isabelle Message-ID: <201503012124.t21LOfOY085726@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201503012124.t21LOfOY085726>