New release for Coq V8.19.1?

[jeandudey]

Currently in GNU Guix autosubst is packaged and we are in the process of migrating to Coq V8.19.1 and latest tag of autosusbt doesn't compile, so we opted to use 6ba0acc commit as a patch but would be great if a new release was tagged.

[palmskog]

@jeandudey there is now https://github.com/coq-community/autosubst/releases/tag/v1.9 which is packaged with metadata on the Coq opam archive here.

[jeandudey]

Thanks!

[palmskog]

@jeandudey note that we always recommend packagers of Coq and its ecosystem to look at the Coq Platform, which is the official distribution of Coq together with libraries and plugins and tools. Every release picks certain versions of packages that are known to work together (and in fact is the main trigger of new package releases/tags). Autosubst is set to join the Platform for the release with Coq 8.20.0.

[MSoegtropIMC]

@jeandudey : to give some specific pointers:

the package pick source files are here:

https://github.com/coq/platform/tree/main/package_picks

there are also tables (The PackageTableXYZ files) here:

https://github.com/coq/platform/tree/main/doc

Picking package versions which work well together is non trivial and it probably would save you time to reuse the picks we do and also likely be more useful to users.

[jeandudey]

Thanks for that! In theory Guix has updaters to update packages automagically and could use that information to keep packages in synchronization.