ports/109395: [patch] Unfetchable dist-file devel/maude

Rick van der Zwet rick at wzoeterwoude.net
Wed Feb 21 15:20:04 UTC 2007

>Number:         109395
>Category:       ports
>Synopsis:       [patch] Unfetchable dist-file devel/maude
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Wed Feb 21 15:20:03 GMT 2007
>Originator:     Rick van der Zwet
Didn't use the permanent link for the source code apparently,
Thanks to 'Bill distfiles Fenner' of spotting the problem :-)


--- Makefile.orig       Wed Feb 21 15:12:26 2007
+++ Makefile    Wed Feb 21 15:13:10 2007
@@ -8,7 +8,7 @@
 PORTNAME=      maude
 CATEGORIES=    lang
-MASTER_SITES=  http://maude.cs.uiuc.edu/download/current/
+MASTER_SITES=  http://maude.cs.uiuc.edu/versions/${PORTVERSION}/
 MAINTAINER=    rick at wzoeterwoude.net


More information about the freebsd-ports-bugs mailing list