Stream: MetaCoq

Topic: Release tag for a version working with Coq 8.18


view this post on Zulip Rodolphe Lepigre (Oct 16 2023 at 08:15):

I actually just noticed that I misread the title of the last commit on the 8.18 (which is "coq-equations.1.3+8.18"). So I do agree it probably does not make much sense to create a 1.3 release of MetaCoq. However, it would still be desirable to get a release (any version, be it 1.2, or 1.2.1) that works on Coq 8.18.

view this post on Zulip Karl Palmskog (Oct 16 2023 at 08:17):

right, I think in general there is no great community pressure to put out big fancy releases - just getting something out there that is the same as before but works with latest Coq released version can be crucial to test packages

view this post on Zulip Karl Palmskog (Oct 16 2023 at 08:19):

the first soft deadline for Platform package tags is Oct 31, so just tagging something that works with 8.18 ticks that checkbox. A more fancy release could come later. As I said in some other context, we are usually a bit too shy with releases in the Coq community (compared to general software)

view this post on Zulip Karl Palmskog (Oct 26 2023 at 07:58):

@Yannick Forster was there any conclusion about when to do the MetaCoq tag for 8.18? As per above, I think v1.2-8.18 from coq-8.18 branch without extensive release engineering would be totally fine, and if you get time later v1.3 could go in a Platform update for Coq 8.18.


Last updated: Jul 23 2024 at 21:01 UTC