version for 9.2 or later

[damien-pous]

Hi @palmskog ,

The current version (9.0.0) compiles with 9.1 and 9.2 ; I've just submitted a PR on opam-rocq-packages to reflect this.

I've also made a commit there for removing a few warnings and deprecated symbols:
https://github.com/damien-pous/aac-tactics/tree/v9.2

It compiles with rocq 9.2 ; I've based it on commit 4f796a7 because:

• our branch master does not compile with rocq 9.2
• commit 55b1f80 on our branch v9.0 really is just for the 9.0 specific boilerplate

We may either publish a new version with these rather cosmetic changes, or push them into master waiting for a real next version.
(unfortunately I can't check that it compiles once rebased on our master: rocq master seems to be broken on opam for me)

What do you think?

Best,
Damien

[palmskog]

@damien-pous if you already created a v9.2 branch, how about we just merge that here? I can just push the branch to this repo.

There could be a tag/release based on v9.2 without the warnings just for good measure, but since 9.0 release works, I guess there is no hurry. One reason to do it is that this release might be compatible with Rocq 9.3.0.

[damien-pous]

Indeed there is no hurry, so as you prefer ;)
(I'm was not sure how to do a pull request on a new branch, am I allowed to push by new v9.2 branch directly on rocq-community ?)

[palmskog]

@damien-pous I added "maintain" permissions for you, this should be sufficient for pushing new branches. Please go ahead and push directly v9.2 to Rocq-community repo.

If something goes awry I can take care of it.

[damien-pous]

done.
can you fix the CI as you did last time? (plus double-check the opam file?)