diff options
Diffstat (limited to 'coq-refman.opam')
| -rw-r--r-- | coq-refman.opam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq-refman.opam b/coq-refman.opam index b9500243a3..16be422c27 100644 --- a/coq-refman.opam +++ b/coq-refman.opam @@ -17,7 +17,7 @@ license: "Open Publication License" depends: [ "dune" { build } - "coq" { build } + "coq" { build & = version } ] build-env: [ |