Stream: coq-community devs & users

Topic: released opam package for graph-theory 0.7

view this post on Zulip Karl Palmskog (Jun 26 2020 at 10:19):

@Christian Doczkal do you plan to submit a graph-theory 0.7 package to the released opam-archive? Or should I put it on my TODO?

view this post on Zulip Christian Doczkal (Jun 26 2020 at 10:33):

I will do it, though not necessarily today.

view this post on Zulip Karl Palmskog (Jun 26 2020 at 10:34):

fine by me.

Last updated: Feb 04 2023 at 02:03 UTC