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 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 |