Verified Commit bd6c3503 authored by Tej Chajed's avatar Tej Chajed

Fix installation instructions

parent 98e342b6
......@@ -12,7 +12,7 @@ You can install this "plugin" via opam. First add the Iris opam repository:
opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
```
Then install with `opam install coq-string-ident`.
Then install with `opam install coq-iris-string-ident`.
## Usage
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment