ports/105446: Update port: devel/uppaal (patch registration URL)

[Timothy Bourke]

>Number:         105446
>Category:       ports
>Synopsis:       Update port: devel/uppaal (patch registration URL)
>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:   Sun Nov 12 17:50:18 GMT 2006
>Closed-Date:
>Last-Modified:
>Originator:     Timothy Bourke
>Release:        FreeBSD 6.1-RELEASE-p6 i386 (uname -s -r -m)
>Organization:
n/a
>Environment:
>Description:
The registration URL for download does not work correctly.
		Reported by Kris Kennaway.
>How-To-Repeat:
>Fix:

--- uppaal.diff begins here ---
Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/devel/uppaal/Makefile,v
retrieving revision 1.3
diff -u -r1.3 Makefile
--- Makefile	15 Sep 2006 09:07:16 -0000	1.3
+++ Makefile	12 Nov 2006 17:40:08 -0000
@@ -2,7 +2,7 @@
 # Date created:        16 August 2005
 # Whom:                Timothy Bourke <timbob at bigpond.com>
 #
-# $FreeBSD: ports/devel/uppaal/Makefile,v 1.3 2006/09/15 09:07:16 rafan Exp $
+# $FreeBSD$
 #
 
 PORTNAME=	uppaal
@@ -21,7 +21,7 @@
 SUB_FILES=	uppaal verifyta
 SUB_LIST+=	PORTNAME=${PORTNAME}
 PLIST_SUB+=	PORTNAME=${PORTNAME}
-DOWNLOAD_URL=	http://www.it.uu.se/research/group/darts/uppaal/download/registration.php
+DOWNLOAD_URL=	http://www.it.uu.se/research/group/darts/uppaal/download/registration.php?id=0&subid=0
 NO_BUILD=	yes
 
 MAN1=		uppaal.1
--- uppaal.diff ends here ---

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