Stream: Coq Platform devs & users

Topic: ✔ Relation Algebra licensing


view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Sep 08 2022 at 19:05):

looks resolved now in the issue and through https://github.com/coq/opam-coq-archive/pull/2294

view this post on Zulip Notification Bot (Sep 08 2022 at 19:05):

Karl Palmskog has marked this topic as resolved.


Last updated: Jun 03 2023 at 03:01 UTC