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