Stream: Coq Platform devs & users

Topic: ✔ Relation Algebra licensing

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

Notification Bot (Sep 08 2022 at 19:05):

Karl Palmskog has marked this topic as resolved.

Last updated: Jan 30 2023 at 11:03 UTC