Publish 1.1+9.0 to Rocq package repo

[bamarsha]

It looks like version 1.1+9.0, which was released on GitHub, isn't available in the Rocq package repo - could it be published there as well?

Also, it is possible to publish a new version for Rocq 8.20 to the package repo that contains the notation bugfix (#23)?

[kyoDralliam]

It has been published on rocq's opam under the name rocq-autosubst-ocaml a few months ago, c.f. this PR.

[bamarsha]

Thanks, I didn't realize the package name changed. The readme doesn't mention the new name and still tells you to opam install coq-autosubst-ocaml.

[bamarsha]

There is also still the issue that the notation fix has been backported to Coq/Rocq 8.20 in the coq-8.20 branch on GitHub, but I don't believe this version has been published anywhere.