Stream: Coq Platform devs & users

Topic: AAC Tactics update for next Platform

view this post on Zulip Karl Palmskog (Mar 14 2022 at 15:19):

@Michael Soegtrop we fixed a pretty serious bug in AAC Tactics recently:

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?

view this post on Zulip Michael Soegtrop (Mar 15 2022 at 08:12):

@Karl Palmskog : most likely - please reopen

Last updated: Jun 03 2023 at 03:01 UTC