diff options
| author | coqbot-app[bot] | 2021-02-11 20:05:32 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-11 20:05:32 +0000 |
| commit | 2384c5c9d67ee4484e91bfe9e8e7a49a5e564d1a (patch) | |
| tree | bc52eaf39584cf1527842d2a2584eaa993ae71f4 | |
| parent | 4e14df77f674fdc9dbef6466493b1814cc33158f (diff) | |
| parent | 537c8f2c38d5e3751adcc402e70010c1e7e9e9bd (diff) | |
Merge PR #13642: Add build dependency of conf-python-3 to coq-doc
Reviewed-by: ejgallego
| -rw-r--r-- | coq-doc.opam | 1 | ||||
| -rw-r--r-- | dune-project | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/coq-doc.opam b/coq-doc.opam index 3a872db33d..9b0d562c45 100644 --- a/coq-doc.opam +++ b/coq-doc.opam @@ -17,6 +17,7 @@ doc: "https://coq.github.io/doc/" bug-reports: "https://github.com/coq/coq/issues" depends: [ "dune" {build & >= "2.5.0"} + "conf-python-3" {build} "coq" {build & = version} ] build: [ diff --git a/dune-project b/dune-project index 1187c58449..4cb9c13bde 100644 --- a/dune-project +++ b/dune-project @@ -75,6 +75,7 @@ development of interactive proofs.")) (license "OPL-1.0") (depends (dune (and :build (>= 2.5.0))) + (conf-python-3 :build) (coq (and :build (= :version)))) (synopsis "The Coq Proof Assistant --- Reference Manual") (description "Coq is a formal proof management system. It provides |