aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorvs <vs@FreeBSD.org>2005-11-16 17:29:34 +0800
committervs <vs@FreeBSD.org>2005-11-16 17:29:34 +0800
commit8e5eaaf1bc83f11610b0eb916ee10b55cf5a8d42 (patch)
tree4dde0b0bc8db062ba5b1a530e152d65de145c796
parent4766d64e5caf251bedefe6e67390e9e9be7de4cb (diff)
downloadfreebsd-ports-gnome-8e5eaaf1bc83f11610b0eb916ee10b55cf5a8d42.tar.gz
freebsd-ports-gnome-8e5eaaf1bc83f11610b0eb916ee10b55cf5a8d42.tar.zst
freebsd-ports-gnome-8e5eaaf1bc83f11610b0eb916ee10b55cf5a8d42.zip
Add entry for devel/uppaal
-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