Paolo Giarrusso (Aug 17 2020 at 11:53): 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.
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.
Armaël Guéneau (Aug 17 2020 at 11:55):I don't think it has special semantics wrt opam
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.
Paolo Giarrusso (Aug 17 2020 at 12:02):Thanks! What about ~dev, which I've seen opam pick without me writing it anywhere?
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
Paolo Giarrusso (Aug 17 2020 at 12:04):Thanks again :-)
Last updated: Sep 23 2023 at 07:01 UTC