Stream: Coq devs & plugin devs

Topic: Tag for 8.15.1

view this post on Zulip Jim Fehrle (Apr 06 2022 at 20:10):

Is there a tag for 8.15.0? AFAICT 8.15.1 simply updated the existing v8.15 tag. Trying to figure out an apparent regression.

view this post on Zulip Gaëtan Gilbert (Apr 06 2022 at 20:11):

https://github.com/coq/coq/tree/V8.15.0

view this post on Zulip Gaëtan Gilbert (Apr 06 2022 at 20:11):

tags are V, branches are v

Last updated: Nov 29 2023 at 19:01 UTC