search

mit-plv / bbv

Bedrock Bit Vector Library
MIT License
27 stars 23 forks source link

need coq 8.18 compatible release #48

Closed vzaliva closed 1 year ago

vzaliva commented 1 year ago

The current git version builds with coq-8.18. Could we please have a new release in OPAM? Thanks!

samuelgruetter commented 1 year ago

I just clicked some buttons to create this release on GitHub: https://github.com/mit-plv/bbv/releases/tag/v1.4 I don't really use opam for coq packages myself, nor do I know how to create opam packages, but there exists now https://github.com/mit-plv/bbv/archive/refs/tags/v1.4.zip so if that's useful for someone to make it available on opam, I won't object :slightly_smiling_face:

vzaliva commented 1 year ago

Looping in @gmalecha who is listed as Opam package maintainer

vzaliva commented 1 year ago

Created PR for OPAM package: https://github.com/coq/opam/pull/2782

vzaliva commented 1 year ago

thanks for the release!