From 537c8f2c38d5e3751adcc402e70010c1e7e9e9bd Mon Sep 17 00:00:00 2001
From: Lasse Blaauwbroek
Date: Wed, 16 Dec 2020 09:14:02 +0100
Subject: Add build dependency of conf-ptyon-3 to coq-doc

---
 dune-project | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dune-project')

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
-- 
cgit v1.2.3