diff options
author | Mort Yao | 2019-10-21 14:50:04 +0200 |
---|---|---|
committer | Mort Yao | 2019-10-21 14:50:04 +0200 |
commit | 3d0fe51383e8a565f50e4e25bb4c551b75913edc (patch) | |
tree | 53aae9c3db0c4ae609c04679f2ac82bd14ae3eab /fix-ocaml-4.08.patch | |
parent | 1aba9c9fece691d09e6c53f1181d0e1728d6552d (diff) | |
download | aur-ocaml-batteries-git.tar.gz |
ocaml-batteries-git 20191021-1
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 |