string-ident tagshttps://gitlab.mpi-sws.org/iris/string-ident/-/tagshttps://gitlab.mpi-sws.org/iris/string-ident/-/tags/v0.1.0v0.1.0Initial release
Compatible with Coq v8.11, v8.12+beta1, and the current v8.12+alpha.
Integrates with Iris 3.3.
Tej Chajedtchajed@gmail.com