Stream: Coq Platform devs & users

Topic: Patch Release 2021.02.1


view this post on Zulip Michael Soegtrop (Apr 07 2021 at 14:23):

I plan to do a bug-fix release 2021.02.1 for Coq 8.13.2 soon.

Currently the following changes are planned:
Coq 8.13.1 -> 8.13.2
VST 2.7 -> 2.7.1
Adding HoTT (likely)

Does someone have bug fix releases for their packages? Please note that in a patch release only bug fixes and completely new packages, but no possibly breaking feature updates of existing packages are allowed. Safely non breaking feature updates can be discussed.


Last updated: Jan 30 2023 at 10:03 UTC