Stream: Coq Platform devs & users

Topic: AAC Tactics update for next Platform

Karl Palmskog (Mar 14 2022 at 15:19):

@Michael Soegtrop we fixed a pretty serious bug in AAC Tactics recently: https://github.com/coq-community/aac-tactics/issues/85

If I backport this fix to 8.15 during this week and do a AAC Tactics release, can this go into the next Platform release?

Michael Soegtrop (Mar 15 2022 at 08:12):

@Karl Palmskog : most likely - please reopen https://github.com/coq-community/aac-tactics/issues/108.

Last updated: Jun 03 2023 at 03:01 UTC