diff options
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dune-project b/dune-project index 4cb9c13bde..03e7147019 100644 --- a/dune-project +++ b/dune-project @@ -27,7 +27,8 @@ (ocaml (>= 4.05.0)) (dune (>= 2.5.0)) (ocamlfind (>= 1.8.1)) - (zarith (>= 1.10))) + (zarith (>= 1.10)) + (ounit2 :with-test)) (synopsis "The Coq Proof Assistant") (description "Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable |