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: Jun 03 2023 at 05:01 UTC