Add ounit2 to with-test dependencies

1 files changed, 1 insertions, 0 deletions

diff --git a/coq.opam b/coq.opam
index f868d511af..88e81abf46 100644
--- a/coq.opam
+++ b/coq.opam
@@ -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