Answering my own question... From looking at https://gitlab.science.ru.nl/clean-and-itasks/clean-ide/-/commits/master/CleanLicenseConditions.txt https://gitlab

Answering my own question... From looking at https://gitlab.science.ru.nl/clean-and-itasks/clean-ide/-/commits/master/CleanLicenseConditions.txt https://gitlab.science.ru.nl/clean-and-itasks/clean-ide/-/co... - Clean used to be dual licensed: commercial license + LGPL - 3 years ago LGPL was replaced by Simplified BSD - 7 months ago the commercial license was removed