rename ssrZ.v to word_ssrZ.v to avoid conflict with coq-mathcomp-zify

jasmin-lang / coqword

Yet Another Coq Library on Machine Words.

MIT License

9 stars 7 forks source link

rename ssrZ.v to word_ssrZ.v to avoid conflict with coq-mathcomp-zify #17

Closed MSoegtropIMC closed 1 year ago

MSoegtropIMC commented 1 year ago

Can we agree on the below name change to avoid the name conflict with mathcomp-zify?

strub commented 1 year ago

I assume that you need a release?

MSoegtropIMC commented 1 year ago

A release would help, yes. I can also patch it at opam level, but especially renames are a bit nasty because not all patch implementations support it.