aboutsummaryrefslogtreecommitdiff
path: root/LEGAL
diff options
context:
space:
mode:
Diffstat (limited to 'LEGAL')
-rw-r--r--LEGAL2
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