From: Julien Cristau <julien.cristau@ens-lyon.org>
Date: Mon, 31 Oct 2005 16:29:48 +0000 (+0000)
Subject: otherlibs/num/string_misc.ml{,i} have been removed upstream, so we don't try to
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~715
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=a06303c8f128438cece86cfe160d6ec212a2ed85;p=ocaml.git

otherlibs/num/string_misc.ml{,i} have been removed upstream, so we don't try to
install them.
---

diff --git a/debian/ocaml-source.files b/debian/ocaml-source.files
index e7df126b..ce2ed352 100644
--- a/debian/ocaml-source.files
+++ b/debian/ocaml-source.files
@@ -1050,8 +1050,6 @@ otherlibs/num/num.ml
 otherlibs/num/num.mli
 otherlibs/num/ratio.ml
 otherlibs/num/ratio.mli
-otherlibs/num/string_misc.ml
-otherlibs/num/string_misc.mli
 otherlibs/num/test/Makefile
 otherlibs/num/test/.depend
 otherlibs/num/test/Makefile.nt