Closed c-cube closed 1 month ago
Hmm... I believe you can pin with a commit hash, but, yes, if having a version number in dune-project
makes things more convenient it is fine. The HACKING.md
instructions should be extended to add a note to change the version number in dune-project
? (I can do that when I do the next release.)
cannot pin anything but picos otherwise, the versions won't match (opam picks the latest known version or "dev" otherwise, so picos gets version 0.4 and the other ones gets "dev" while requiring picos to also be "dev")