adapt to MC#1256 · math-comp/algebra-tactics@24f056e

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

Reference Zeq_is_eq_bool is deprecated since 9.0.

Reference Zeq_is_eq_bool is deprecated since 9.0.

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

The command 'Elpi Typecheck' is deprecated (and does nothing) since

The command 'Elpi Typecheck' is deprecated (and does nothing) since

"From Coq" has been replaced by "From Stdlib".

The command 'Elpi Typecheck' is deprecated (and does nothing) since

Provide feedback