Skip to content

Commit 2a7a8f7

Browse files
tbrkybertot
authored andcommitted
README: opam install for specific Coq version
1 parent a7221e4 commit 2a7a8f7

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

README.md

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,11 +102,17 @@ instead of `make` in all previous commands.
102102

103103
### Install using opam
104104

105-
If you use opam, you can install `coq-dpdgraph` and `ocamlgraph` using
105+
If you use opam with the latest version of Coq, you can install
106+
`coq-dpdgraph` and `ocamlgraph` using
106107

107108
$ opam repo add coq-released https://coq.inria.fr/opam/released
108109
$ opam install coq-dpdgraph
109110

111+
To install a specific release of `coq-dpdgraph` for a previous version of
112+
Coq, add the appropriate suffix, for example,
113+
114+
$ opam install coq-dpdgraph.1.0+8.16
115+
110116
### Test
111117

112118
If you install the archive by cloning the git repository, you have

0 commit comments

Comments
 (0)