miwi 2006-11-13 01:33:41 UTC
FreeBSD ports repository
Modified files:
devel/uppaal Makefile
Log:
- Fix Registration URL for download
PR: ports/105446
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
Reported by: Kris Kennaway
Revision Changes Path
1.4 +1 -1 ports/devel/uppaal/Makefile