aboutsummaryrefslogtreecommitdiff
path: root/LEGAL
diff options
context:
space:
mode:
Diffstat (limited to 'LEGAL')
-rw-r--r--LEGAL1
1 files changed, 1 insertions, 0 deletions
diff --git a/LEGAL b/LEGAL
index e6c1c656c960..cf0fa0554561 100644
--- a/LEGAL
+++ b/LEGAL
@@ -471,6 +471,7 @@ platon* biology/platon US$ 5000 for commercial users,
(free for academic)
pmake-*.tar.Z devel/pmake Non-commercial use only
polygraph-*-src.tgz benchmarks/polygraph Redistribution is not permitted by license
+polyml/polyml-* lang/polyml License agreement required before download
poseidonCE-* java/poseidon Redistribution is not permitted
ppsmall-* archivers/ppunpack No commercial redistribution
prodosemu.* emulators/prodosemu Restrictive copyright on the ROM image