diff options
| author | Pete Fritchman <petef@FreeBSD.org> | 2003-05-10 19:11:40 +0000 |
|---|---|---|
| committer | Pete Fritchman <petef@FreeBSD.org> | 2003-05-10 19:11:40 +0000 |
| commit | 0f1e701b269b30eab9da4a1970e57e8c850816ef (patch) | |
| tree | a92d61fcfbec9479354b517741824487ca2260a5 /lang/wamcc | |
| parent | Despite this port having IGNORE set, update to a valid master site. (diff) | |
The port is still BROKEN, but the distfile is fetchable now.
Noticed by: fenner's portsurvey
Notes
Notes:
svn path=/head/; revision=80621
Diffstat (limited to 'lang/wamcc')
| -rw-r--r-- | lang/wamcc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/wamcc/Makefile b/lang/wamcc/Makefile index 43e8530f3b8d..7cdb8891e6db 100644 --- a/lang/wamcc/Makefile +++ b/lang/wamcc/Makefile @@ -8,7 +8,7 @@ PORTNAME= wamcc PORTVERSION= 2.22 CATEGORIES= lang -MASTER_SITES= ftp://ftp.inria.fr/INRIA/Projects/loco/wamcc/ +MASTER_SITES= ftp://ftp.inria.fr/INRIA/Projects/contraintes/wamcc/ DISTFILES= wamcc2.22.tar.Z prg.tar.Z MAINTAINER= ports@FreeBSD.Org |