coq-record-update Versions (6)

Version Release Date Links
0.3.4 04 Apr 2024 Documentation
0.3.3 05 Oct 2023 Documentation
0.3.2 03 Apr 2023 Documentation
0.3.1 29 Jan 2023 Documentation
0.3.0 28 May 2021 Documentation
0.2.0 16 Jul 2020 Documentation