aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--LEGAL2
1 files changed, 1 insertions, 1 deletions
diff --git a/LEGAL b/LEGAL
index b94c1b063c16..385d01601c86 100644
--- a/LEGAL
+++ b/LEGAL
@@ -599,7 +599,7 @@ 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
+uppaal-*.zip devel/uppaal Downloading requires completion
of a license agreement
upsmon* sysutils/upsmon Redistribute only with
original source code