Add entry for devel/uppaal

This commit is contained in:
Volker Stolz 2005-11-16 09:29:34 +00:00
parent da59b4c557
commit 34cfdc2368
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=148447

2
LEGAL
View file

@ -584,6 +584,8 @@ ue*dev.zip editors/uemacs Resale allowed for media cost
only
uDrawGraph-* graphics/uDrawGraph binary under GNU LGPL without
accompanying source
uppaal.zip devel/uppaal Downloading requires completion
of a license agreement
upsmon* sysutils/upsmon Redistribute only with
original source code
urchin*.tar.gz www/urchin5 Commercial software, also comes