From 0f1e701b269b30eab9da4a1970e57e8c850816ef Mon Sep 17 00:00:00 2001 From: Pete Fritchman <petef@FreeBSD.org> Date: Sat, 10 May 2003 19:11:40 +0000 Subject: The port is still BROKEN, but the distfile is fetchable now. Noticed by: fenner's portsurvey --- lang/wamcc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit debian/1.2.3+git2.25.1-1-2-gaceb0