[Pkg-ocaml-maint-commits] r1868 - trunk/packages/ocaml/trunk/debian

[Julien Cristau]

Author: jcristau-guest
Date: 2005-10-31 16:29:48 +0000 (Mon, 31 Oct 2005)
New Revision: 1868

Modified:
   trunk/packages/ocaml/trunk/debian/ocaml-source.files
Log:
otherlibs/num/string_misc.ml{,i} have been removed upstream, so we don't try to
install them.


Modified: trunk/packages/ocaml/trunk/debian/ocaml-source.files
===================================================================
--- trunk/packages/ocaml/trunk/debian/ocaml-source.files	2005-10-31 16:22:56 UTC (rev 1867)
+++ trunk/packages/ocaml/trunk/debian/ocaml-source.files	2005-10-31 16:29:48 UTC (rev 1868)
@@ -1050,8 +1050,6 @@
 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