flake.lock, flake.nix: Update to Coq 8.20 · jwiegley/category-theory@552b4d2

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

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

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

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

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

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

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

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

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

Coq.FSets.FMapFacts has been replaced by Stdlib.FSets.FMapFacts.

Coq.Classes.RelationClasses has been replaced by

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

Provide feedback