Adapt to https://github.com/coq/coq/pull/19530 · coq-community/corn@823afcd

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Coq.Classes.SetoidTactics has been replaced by

Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.

Coq.Classes.Morphisms has been replaced by Stdlib.Classes.Morphisms.

Coq.Unicode.Utf8 has been replaced by Stdlib.Unicode.Utf8.

Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.

Coq.Lists.List has been replaced by Stdlib.Lists.List.

Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.

Notation "_ = _" was already used in scope type_scope.

Notation "_ ≠ _" was already used in scope type_scope.

Declaring a scope implicitly is deprecated; use in advance an

Provide feedback