From a4fef5737fbec0ccebc69f1e70f8512b98d52919 Mon Sep 17 00:00:00 2001 From: Edwin Groothuis Date: Thu, 6 Apr 2006 00:00:59 +0000 Subject: [PATCH] devel/kimwitu++: add distfile mirror Remove dead mirror, add working mirrror PR: ports/95379 Submitted by: Lars Engels --- devel/kimwitu++/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/devel/kimwitu++/Makefile b/devel/kimwitu++/Makefile index 58bf1cb7be66..4bc6fe5a2787 100644 --- a/devel/kimwitu++/Makefile +++ b/devel/kimwitu++/Makefile @@ -10,7 +10,8 @@ PORTNAME= kimwitu++ PORTVERSION= 2.3.8 PORTREVISION= 1 CATEGORIES= devel -MASTER_SITES= http://site.informatik.hu-berlin.de/kimwitu++/ +MASTER_SITES= http://www2.informatik.hu-berlin.de/~piefel/kimwitu++/ \ + http://www.netsw.org/softeng/compilerconstruct/kimwitu/ MAINTAINER= ports@FreeBSD.org COMMENT= A tool for processing trees (i.e. terms)