K 10
svn:author
V 5
rafan
K 8
svn:date
V 27
2006-09-17T10:00:57.000000Z
K 7
svn:log
V 111
- Update for devel/uppaal

PR:		ports/103246
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)

END