From: Stephane Glondu <steph@glondu.net>
Date: Tue, 6 Aug 2019 07:25:52 +0000 (+0200)
Subject: Provide libnum-ocaml{,-dev}
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~15
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=3bed76f45250b36c3420f827ea432e0960bad9b2;p=ocaml.git

Provide libnum-ocaml{,-dev}
---

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