From 44c2f05102533e3656f369f2eed16ad2730ef775 Mon Sep 17 00:00:00 2001
From: Lasse Blaauwbroek
Date: Wed, 16 Dec 2020 09:38:03 +0100
Subject: Add ounit2 to with-test dependencies

---
 coq.opam | 1 +
 1 file changed, 1 insertion(+)

(limited to 'coq.opam')

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
-- 
cgit v1.2.3