diff options
author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-04-06 00:00:59 +0000 |
---|---|---|
committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-04-06 00:00:59 +0000 |
commit | a4fef5737fbec0ccebc69f1e70f8512b98d52919 (patch) | |
tree | 33f43896f0b9a8b22e54d746a9a766874be936bf /devel/kimwitu++ | |
parent | 4147d5845f20b4043e20fb63f053fa82c009a177 (diff) |
Notes
Diffstat (limited to 'devel/kimwitu++')
-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) |