Commit af5d0d55 authored by Ralf Jung's avatar Ralf Jung

the version in opam is the Coq 8.11 version

parent d0429c02
......@@ -6,7 +6,8 @@ using Ltac2, providing support for Gallina names in Iris intro patterns on Coq
## Installation
You can install this "plugin" via opam. First add the Iris opam repository:
You can install the Coq 8.11 version of this "plugin" via opam. First add the
Iris opam repository:
```sh
opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
......
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