Date: Fri, 20 Feb 2015 15:42:45 +0000 (UTC) From: Tilman Keskinoz <arved@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r379437 - head/math/isabelle Message-ID: <201502201542.t1KFgjHG030461@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: arved Date: Fri Feb 20 15:42:44 2015 New Revision: 379437 URL: https://svnweb.freebsd.org/changeset/ports/379437 QAT: https://qat.redports.org/buildarchive/r379437/ Log: Drop Maintainership PR: 197402 Submitted by: Timothy Beyer Modified: head/math/isabelle/Makefile Modified: head/math/isabelle/Makefile ============================================================================== --- head/math/isabelle/Makefile Fri Feb 20 14:58:49 2015 (r379436) +++ head/math/isabelle/Makefile Fri Feb 20 15:42:44 2015 (r379437) @@ -9,7 +9,7 @@ MASTER_SITES= http://isabelle.in.tum.de/ http://mirror.cse.unsw.edu.au/pub/isabelle/dist/ DISTNAME= Isabelle2009-2 -MAINTAINER= beyert@cs.ucr.edu +MAINTAINER= ports@FreeBSD.org COMMENT= Generic proof assistant LICENSE= BSD3CLAUSE
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201502201542.t1KFgjHG030461>