diff options
| -rw-r--r-- | coq.opam | 1 | ||||
| -rw-r--r-- | dune-project | 3 |
2 files changed, 3 insertions, 1 deletions
@@ -24,6 +24,7 @@ depends: [ "dune" {>= "2.5.0"} "ocamlfind" {>= "1.8.1"} "zarith" {>= "1.10"} + "ounit2" {with-test} ] build: [ # Disabled until Dune 2.8 is available diff --git a/dune-project b/dune-project index 1187c58449..7121a332a0 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 |