Stream: Coq users

Topic: Opam packaging (of Coq libs) and `dev` versions


view this post on Zulip Paolo Giarrusso (Aug 17 2020 at 11:53):

This question is semi-OT, but what are the exact semantics of the version: "dev" line I see in some opam packages? Does it have special opam semantics (beyond the effects on version ordering), or is there just a convention to use it for "development" versions of packages?
It seems that using opam install . on packages named opam _tends_ to pick version ~dev, but that breaks not on foo.opam.

view this post on Zulip Paolo Giarrusso (Aug 17 2020 at 11:53):

I also have one concrete problem: I can't use version dev because it sorts as smaller than my usual versions vx.y; I'm thinking of using vdev instead.

view this post on Zulip Armaël Guéneau (Aug 17 2020 at 11:55):

I don't think it has special semantics wrt opam

view this post on Zulip Karl Palmskog (Aug 17 2020 at 11:58):

if you do opam pin add my-project -k path ., and you have my-project.opam with version: "mydev", then the pinned package will have version mydev. Beyond this and version ordering, I'm not sure what "semantics" would mean.

view this post on Zulip Paolo Giarrusso (Aug 17 2020 at 12:02):

Thanks! What about ~dev, which I've seen opam pick without me writing it anywhere?

view this post on Zulip Karl Palmskog (Aug 17 2020 at 12:03):

I guess this is the default version number, and through the ~ guaranteed to be less than dev

view this post on Zulip Paolo Giarrusso (Aug 17 2020 at 12:04):

Thanks again :-)


Last updated: Jan 28 2023 at 05:02 UTC