Stream: Coq Platform devs & users

Topic: Relation Algebra licensing

Karl Palmskog (Sep 07 2022 at 19:22):

We should figure something out with the Relation Algebra author (Damien Pous) in the near future to get this issue resolved: https://github.com/damien-pous/relation-algebra/issues/34

As far as I know, the coq-relation-algebra package has been flagged as LGPL-3.0-or-later for quite some time, so it's just a question of making this unambiguous.

Last updated: Jan 30 2023 at 11:03 UTC