diff options
| author | petef <petef@FreeBSD.org> | 2003-05-10 19:11:40 +0000 |
|---|---|---|
| committer | petef <petef@FreeBSD.org> | 2003-05-10 19:11:40 +0000 |
| commit | e824cb619a33b5ba4380a79b0f0e2297e65e9cc1 (patch) | |
| tree | 3e22d541fe6fc3c15c484209a4750e97b74115f0 /lang/wamcc | |
| parent | 4b340d16a2b5d8e792bfbcadd8e3a2532ed90acb (diff) | |
| download | FreeBSD-ports-e824cb619a33b5ba4380a79b0f0e2297e65e9cc1.zip FreeBSD-ports-e824cb619a33b5ba4380a79b0f0e2297e65e9cc1.tar.gz | |
The port is still BROKEN, but the distfile is fetchable now.
Noticed by: fenner's portsurvey
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 43e8530..7cdb889 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 |
