Preparation of a release version for coq-8.16

[ybertot]

Not really an issue, just a report about work in progress.

A branch coq-v8.16 is currently available at https://github.com/ybertot/coq-dpdgraph/commit/4728cb8e752594ac1c2f186dee6b2dd8e2cfead7

This branch should be all ready for creating the necessary files for a release that is compatible with coq 8.16

[ybertot]

I am waiting to check that somebody agrees with PR #108 before proceeding with the release.

[ybertot]

The branch mentioned above has been rebased with respect to a few merged pull requests, then pushed on the coq-community repository.

A release version has been published at https://github.com/coq-community/coq-dpdgraph/releases/tag/v1.0%2B8.16

Work on opam coq archive still needs to be done.

[ybertot]

Previous comment is ambiguous. Here is some clarification:

PR #108 has been merged, and then also PR #106.

the branch coq-v8.16 on ybertot was rebased and then pushed on coq-community

[ybertot]

I prepared a release v1.0+8.16

[ybertot]

Then I discovered that I had forgotten to run templates/generate.sh so I ran it, and then committed the modifs it generated on the coq-v8.16 branch, and pushed them on coq-community and ybertot

But these provoked a CI failure.

[ybertot]

I decided to ignore the CI failure.

The release link is now compatible with the new tip of the coq-v8.16 branch.

[ybertot]

A branch dpdgraph-8.16-extra was prepared on opam-coq-archive and made a pull request (https://github.com/coq/opam-coq-archive/pull/2241).

Corrections needed to be done on the coq-v8.16 (and will have to be back-ported to the coq-master branch), a new release was made.

[SnarkBoojum]

This can probably be closed, as a release for Coq 8.18 is already out?