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: Feb 04 2023 at 01:03 UTC