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

[Rick van der Zwet]

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

>How-To-Repeat:

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

>Release-Note:
>Audit-Trail:
>Unformatted: