add coq-vst.3.1beta

[andrew-appel]

No description provided.

[palmskog]

Thanks. Just to double check @andrew-appel @mansky1 is the behavior you want here that when someone does opam install coq-vst on 8.20, then coq-vst.3.1beta is installed?

Or is 3.1beta only for testing? If so, then there is a special flag avoid-version that could be added, so that only people who do opam install coq-vst.3.1beta (but not opam install coq-vst) get the beta.

[andrew-appel]

3.1beta is only for testing, and should not be the default. Where does the avoid-version flag get added?

[andrew-appel]

Something is wrong here. This p.r. is tracking the wrong branch of my fork of the repo. I'm going to close it and start anew.

[palmskog]

@andrew-appel here is an example of using the flag: https://github.com/coq/opam/blob/master/released/packages/coq-mathcomp-analysis/coq-mathcomp-analysis.1.7.0/opam#L60

Basically, you can add flags: avoid-version on a line of its own below authors, for example.