From 3bed76f45250b36c3420f827ea432e0960bad9b2 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 6 Aug 2019 09:25:52 +0200
Subject: [PATCH] Provide libnum-ocaml{,-dev}

---
 debian/control | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/control b/debian/control
index 7d7d2e42..efa09bd3 100644
--- a/debian/control
+++ b/debian/control
@@ -32,6 +32,7 @@ Depends:
  ${misc:Depends},
  ${shlibs:Depends},
 Provides:
+ libnum-ocaml,
  ${ocaml:Provides}
 Replaces: ocaml-interp (<< 3.11.1-3)
 Breaks: ocaml-interp (<< 3.11.1-3)
@@ -75,10 +76,10 @@ Depends:
  gcc,
  binutils
 Provides:
+ libnum-ocaml-dev,
  ${ocaml:Provides},
  ocaml-best-compilers (= ${binary:Version}),
- ${F:NativeProvides},
- libnums-ocaml-dev
+ ${F:NativeProvides}
 Suggests:
  ocaml-doc,
  tuareg-mode | ocaml-mode
-- 
2.30.2