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.
https://github.com/MSoegtropIMC/coq-platform/tree/v8.12.0.alpha2

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: Jan 29 2023 at 18:03 UTC