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 e7df126b0a4838b851241727fba26124a1dfd5e3..ce2ed352177b538faae15fb359c5d521a7ee565f 100644 (file)
--- 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