New release for Coq 8.19?

mit-plv / bbv

Bedrock Bit Vector Library

MIT License

27 stars 23 forks source link

New release for Coq 8.19? #50

Closed MackieLoeffel closed 7 months ago

MackieLoeffel commented 7 months ago

Would it be possible to create a new release? The last release (v1.4) is not compatible with Coq 8.19. The current master branch already compiles with Coq 8.19, so it should just be a matter of creating the release for opam.

samuelgruetter commented 7 months ago

Does this do the job?

MackieLoeffel commented 7 months ago

I think that should do it, thanks for the quick response! I created https://github.com/coq/opam/pull/2981 to add the package to the coq-released opam repository.