Michael Soegtrop (Apr 07 2021 at 14:23): 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: Jun 03 2023 at 05:01 UTC