Stream: Coq Platform devs & users

Topic: 8.12.0.alpha2 release

view this post on Zulip 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.

view this post on Zulip 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