diff options
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dune-project b/dune-project index 7121a332a0..03e7147019 100644 --- a/dune-project +++ b/dune-project @@ -76,6 +76,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 |