Stream: coq-community devs & users

Topic: CECILL licenses and (L)GPL compatibility

Notification Bot (Sep 23 2020 at 09:57):

This topic was moved by Théo Zimmermann to #Coq Platform devs & users > CECILL licenses and (L)GPL compatibility

Last updated: Jun 03 2023 at 17:29 UTC