diff options
| author | coqbot-app[bot] | 2021-02-11 20:06:44 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-11 20:06:44 +0000 |
| commit | b1532790555b122b5bb3091405595b4b5586483e (patch) | |
| tree | 9f82b5e88db2ea93961fccfcdbcf045f82e88791 /dune-project | |
| parent | 2384c5c9d67ee4484e91bfe9e8e7a49a5e564d1a (diff) | |
| parent | 44c2f05102533e3656f369f2eed16ad2730ef775 (diff) | |
Merge PR #13640: Add ounit2 to with-test dependencies
Reviewed-by: ejgallego
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 |