From c303ff2e28988b0df1cb9721df4077df53ccfda2 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Fri, 17 Jan 2025 10:21:44 +0100
Subject: [PATCH] Num: add optional dependency on Dune

See discussion /~https://github.com/ocaml/num/issues/44
---
 packages/num/num.1.5-1/opam | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/packages/num/num.1.5-1/opam b/packages/num/num.1.5-1/opam
index db2739b21db..df05149d1d7 100644
--- a/packages/num/num.1.5-1/opam
+++ b/packages/num/num.1.5-1/opam
@@ -19,6 +19,9 @@ build: [
 depends: [
   "ocaml" {>= "4.06.0"}
 ]
+depopts: [
+  "dune"
+]
 conflicts: [ "base-num" ]
 synopsis:
   "The legacy Num library for arbitrary-precision integer and rational arithmetic"