Stream: Coq Platform devs & users

Topic: ✔ Relation Algebra licensing


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: Jan 30 2023 at 11:03 UTC