Add entry for devel/uppaal

1 files changed, 2 insertions, 0 deletions

diff --git a/LEGAL b/LEGAL
index 141ccb22b798..e2f275d01ea9 100644
--- a/LEGAL
+++ b/LEGAL
@@ -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