Consider changing to logpath based on mathcomp

jasmin-lang / coqword

Yet Another Coq Library on Machine Words.

MIT License

9 stars 7 forks source link

Consider changing to logpath based on mathcomp #11

Closed palmskog closed 2 years ago

palmskog commented 2 years ago

Currently, the package for this project is called coq-mathcomp-word, but the Coq logpath is CoqWord. As per the discussion in https://github.com/coq/platform/issues/271 please consider making the logpath more congruent with the package name. This will help people reusing the library.

An obvious logpath for a MathComp-related project would be mathcomp.word (in parallel to mathcomp.ssreflect).

ppedrot commented 2 years ago

This broke the jasmin build, it seems. Because of this the Coq CI is failing on the jasmin dev.