After some feedback from VST users I created a new release which fixes a major issue - the build at times created too many jobs which resulted in errors unless one has at least 32 GB of RAM.
@Michael Soegtrop @Théo Zimmermann wouldn't it make sense to use Coq's version conventions here? So alpha 2 for 8.12.0 would be named:
8.12+alpha2. Otherwise, you may get the usual problems with alpha versions being sorted after releases for opam.
Last updated: Jan 29 2023 at 18:03 UTC