I am trying to set up a Coq package. I am proceeding according to this guide.
I would like to attach a version to my package so that I can smoothly upgrade it over time. I have some questions as to the way I should go about it.
opamfile? I looked at the packages
coq-intervaland I do not see their versions mentioned anywhere in the package configuration files. But I can see their installed versions when I say
opam list. How does this work?
I see, thanks!
Last updated: Jan 31 2023 at 13:02 UTC