From a06303c8f128438cece86cfe160d6ec212a2ed85 Mon Sep 17 00:00:00 2001
From: Julien Cristau <julien.cristau@ens-lyon.org>
Date: Mon, 31 Oct 2005 16:29:48 +0000
Subject: [PATCH] otherlibs/num/string_misc.ml{,i} have been removed upstream,
 so we don't try to install them.

---
 debian/ocaml-source.files | 2 --
 1 file changed, 2 deletions(-)

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
-- 
2.30.2