File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -103,7 +103,7 @@ instead of `make` in all previous commands.
103103
104104### Install using opam
105105
106- If you use opam with the latests version of Rocq you can install
106+ If you use opam with the latest versions of Rocq you can install
107107` coq-dpdgraph ` and ` ocamlgraph ` using
108108
109109 $ opam repo add coq-released https://rocq-prover.org/opam/released
Original file line number Diff line number Diff line change @@ -130,7 +130,7 @@ build: |-
130130
131131 ### Install using opam
132132
133- If you use opam with the latests version of Rocq you can install
133+ If you use opam with the latest versions of Rocq you can install
134134 `coq-dpdgraph` and `ocamlgraph` using
135135
136136 $ opam repo add coq-released https://rocq-prover.org/opam/released
You can’t perform that action at this time.
0 commit comments