mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-20 04:02:27 +00:00
- Remove polyml.
This commit is contained in:
parent
f2eb9abe36
commit
60808af285
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=158387
1
LEGAL
1
LEGAL
@ -472,7 +472,6 @@ 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
|
||||
|
Loading…
Reference in New Issue
Block a user