Michael Soegtrop (Jul 30 2020 at 17:18): Michael Soegtrop (Jul 30 2020 at 17:18):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.
https://github.com/MSoegtropIMC/coq-platform/tree/v8.12.0.alpha2
Karl Palmskog (Aug 05 2020 at 11:36):@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