freebsd-ports/devel/uppaal
Martin Wilke 537d1372f9 - Fix Registration URL for download
PR:		ports/105446
Submitted by:	Timothy Bourke <timbob@bigpond.com> (maintainer)
Reported by:    Kris Kennaway
2006-11-13 01:33:41 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist