Stream: coq/stdlib2 devs

Topic: stream events

view this post on Zulip Notification Bot (May 08 2020 at 11:14):

Théo Zimmermann renamed stream coq/stdlib2 to coq/stdlib2 devs.

view this post on Zulip Notification Bot (Aug 25 2022 at 11:29):

Théo Zimmermann changed the access permissions for this stream from Public to Web-public.

Last updated: Feb 06 2023 at 06:29 UTC