Stream: Coq devs & plugin devs

Topic: package browsing website

view this post on Zulip Notification Bot (Apr 15 2023 at 14:46):

This topic was moved here from #coq-community devs & users > package browsing website by Karl Palmskog.

view this post on Zulip Karl Palmskog (Apr 15 2023 at 14:47):

I'm moving this to Coq devs stream, since an improved Coq opam archive website is the whole Coq Team's responsibility, rather than Coq-community's.

view this post on Zulip Ali Caglayan (Apr 17 2023 at 09:09):

Of course, I misremembered where the archive was living.

Last updated: Dec 05 2023 at 11:01 UTC