diff options
author | Mort Yao | 2019-10-20 15:17:33 +0200 |
---|---|---|
committer | Mort Yao | 2019-10-20 15:17:33 +0200 |
commit | 1aba9c9fece691d09e6c53f1181d0e1728d6552d (patch) | |
tree | 0a5ea89b2928a4305a7e83ea668e8ad98c7ecdde /fix-ocaml-4.08.patch | |
parent | 12c7dceb26379befd2be201e872c531716fba189 (diff) | |
download | aur-1aba9c9fece691d09e6c53f1181d0e1728d6552d.tar.gz |
ocaml-batteries-git 20191001-1
Diffstat (limited to 'fix-ocaml-4.08.patch')
-rw-r--r-- | fix-ocaml-4.08.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/fix-ocaml-4.08.patch b/fix-ocaml-4.08.patch new file mode 100644 index 000000000000..d740af4aa116 --- /dev/null +++ b/fix-ocaml-4.08.patch @@ -0,0 +1,12 @@ + +--- 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 |