@Enrico Tassi : I saw that there is a new version since we discussed the 8.15 pick in (https://github.com/LPCIC/coq-elpi/issues/327). If I shall use the latest version, please reopen and update this ticket.
thanks for the heads up. 1.13 has a impostant speedup for algebra-tactics, so it may be worth it.
Thanks for the quick confirmation. Btw.: please feel free to reopen the tracker issues - if it is too late I can still reject it.
Last updated: Jun 06 2023 at 22:01 UTC