Finish opam integration
We should finish up integrating this package with opam, on both the Iris opam repository and the upstream Coq one.
-
Point the package in https://gitlab.mpi-sws.org/iris/opam to the master branch rather than #v8.11
. It already (incorrectly) reports compatibility with>= v8.11
, so we can leave that alone. -
Tag a version number v0.1.0
. -
Open a pull request at https://github.com/coq/opam-coq-archive to add coq-iris-string-ident to the broader Coq opam repository. This should work with Iris 3.3, which was recently added. -
Delete v8.11 branch.