diff options
-rw-r--r-- | LEGAL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |