diff options
Diffstat (limited to 'lang')
| -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 |