K 10
svn:author
V 2
vs
K 8
svn:date
V 27
2005-11-16T09:26:08.000000Z
K 7
svn:log
V 32
  uppaal --> ports/devel/uppaal

END