Stream: Coq users

Topic: How to attach a version to a Coq package?

view this post on Zulip Ignat Insarov (Jun 27 2021 at 09:41):

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.

  1. Do I mention the version in the opam file? I looked at the packages coq-stdpp and coq-interval and 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?
  2. What versioning scheme I should be using? Should it be semantic versioning?

view this post on Zulip Gaëtan Gilbert (Jun 27 2021 at 10:06):

  1. opam is looking at a package repository like https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-stdpp/coq-stdpp.1.5.0/opam
    the version is in the dirname

view this post on Zulip Ignat Insarov (Jun 27 2021 at 10:10):

I see, thanks!

Last updated: Sep 28 2023 at 11:01 UTC