diff options
| author | edwin <edwin@FreeBSD.org> | 2006-04-06 08:00:59 +0800 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2006-04-06 08:00:59 +0800 |
| commit | 91493e8d2d1b81f25f66a189757df44221f06cda (patch) | |
| tree | e6d26935bfac64f1dad71243e338d5f4e09e82b1 /devel | |
| parent | 75dc517e41b9914e6384a4c00e11a2de1580d599 (diff) | |
| download | freebsd-ports-gnome-91493e8d2d1b81f25f66a189757df44221f06cda.tar.gz freebsd-ports-gnome-91493e8d2d1b81f25f66a189757df44221f06cda.tar.zst freebsd-ports-gnome-91493e8d2d1b81f25f66a189757df44221f06cda.zip | |
devel/kimwitu++: add distfile mirror
Remove dead mirror, add working mirrror
PR: ports/95379
Submitted by: Lars Engels <lars.engels@0x20.net>
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/kimwitu++/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
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) |