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
50 stars 14 forks source link

Bump for Coq 8.16 #29

Closed Blaisorblade closed 1 year ago

Blaisorblade commented 2 years ago

Following the Iris repo's opam file https://gitlab.mpi-sws.org/iris/opam/-/blob/master/packages/coq-autosubst/coq-autosubst.dev/opam.

No CI changes yet.

Blaisorblade commented 2 years ago

Waiting for CI might be good here — eager users can use https://github.com/coq/opam-coq-archive/pull/2279 or the iris-dev package.

palmskog commented 1 year ago

This PR is no longer relevant due to #32, so let's close it.

@RalfJung will you do a tag for Coq 8.17/8.18, or should I do it?

RalfJung commented 1 year ago

I'm on a conference this week, so I'd appreciate if you could take care of that.