Fix failing tests on Windows

Full Changelog: v0.3.5...v0.3.6

What's Changed

• docs(readme): clarify different use cases: setting vs updating by @sanjit-bhat in #48
• flake support by @sertel in #50
• use default way of specifying rocq version to docker-coq-action by @sanjit-bhat in #52
• flake: update to NixOS 24.11 and Coq 8.20 by @agrn in #53
• Reduce set when applied to a constructor by @tchajed in #54
• Generate Settable using Ltac2 by @tchajed in #55
• Add a test of a very large record by @tchajed in #57
• Avoid congruence in SetterWf tactic to avoid exponential slowdown by @upamanyus in #58

New Contributors

• @sanjit-bhat made their first contribution in #48
• @sertel made their first contribution in #50
• @agrn made their first contribution in #53
• @upamanyus made their first contribution in #58

Full Changelog: v0.3.4...v0.3.5

What's Changed

• Fix large record field types blowing up search for SetterWf instance by @Nils-Lauermann in #47

New Contributors

• @Nils-Lauermann made their first contribution in #47

Full Changelog: v0.3.3...v0.3.4

Fix a few compatibility warnings with newer versions of Coq (especially 8.17 and 8.18).

Incorporate a few printing bug fixes since v0.3.0.

This release incorporates a number of bug fixes and simplifications to the
library.

This release switches the build system so that it supports opam and dune.

I also switched to a different setup for tests so they are better separated from the source code.

Initial release with basic Setter typeclass defined by implementing Settable for the record type:

• set function and notation
• some support for dependent fields