diff options
Diffstat (limited to 'fix-ocaml-4.08.patch')
-rw-r--r-- | fix-ocaml-4.08.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/fix-ocaml-4.08.patch b/fix-ocaml-4.08.patch deleted file mode 100644 index d740af4aa116..000000000000 --- a/fix-ocaml-4.08.patch +++ /dev/null @@ -1,12 +0,0 @@ - ---- ocaml-batteries-git/src/batteries.mlv 2019-10-20 14:54:12.758195004 +0200 -+++ ocaml-batteries-git/src/batteries.mlv 2019-10-20 14:54:28.091527675 +0200 -@@ -34,7 +34,7 @@ - module Random = Random - module Scanf = Scanf - module Set = Set -- module Sort = Sort -+##V<4.8## module Sort = Sort - module Stack = Stack - module StdLabels = StdLabels - module Stream = Stream |