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.
https://github.com/coq/coq/tree/V8.15.0
tags are V, branches are v
Last updated: Jun 04 2023 at 19:30 UTC