search

coq-community / autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
https://www.ps.uni-saarland.de/autosubst
MIT License
52 stars 14 forks source link

New release for Coq V8.19.1? #34

Closed jeandudey closed 3 months ago

jeandudey commented 4 months ago

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 https://github.com/coq-community/autosubst/commit/6ba0acccef68c75f6cca8928706c726754d69791 commit as a patch but would be great if a new release was tagged.

palmskog commented 3 months ago

@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 commented 3 months ago

Thanks!

palmskog commented 3 months ago

@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 commented 3 months ago

@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 commented 3 months ago

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