search

tchajed / coq-record-update

Library to create Coq record update functions
MIT License
42 stars 16 forks source link

Release for Coq 8.19? #44

Closed MackieLoeffel closed 5 months ago

MackieLoeffel commented 7 months ago

Thanks for merging https://github.com/tchajed/coq-record-update/pull/43 ! Would it be possible to get a release of coq-record-update on opam such that one can use it together with Coq 8.19?

MackieLoeffel commented 7 months ago

I also submitted https://github.com/coq/opam/pull/2968 as an alternative.

tchajed commented 5 months ago

Thanks for this, and backporting it to the opam archive!