diff options
| author | Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-08-08 18:20:41 +0200 |
|---|---|---|
| committer | Andreas Sturmlechner <asturm@gentoo.org> | 2017-08-08 19:15:28 +0200 |
| commit | 9e4ee21441d8265d5702bda2d1f02c4dec0fb115 (patch) | |
| tree | 32fc8ab663e87070f66a184dfecf78cb0e211348 | |
| parent | 50e46a94c460f838dbf8d181fa6fc5a60f9ee0cd (diff) | |
| download | gentoo-9e4ee21441d8265d5702bda2d1f02c4dec0fb115.tar.gz gentoo-9e4ee21441d8265d5702bda2d1f02c4dec0fb115.tar.xz | |
dev-ml/facile: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/5358
| -rw-r--r-- | dev-ml/facile/files/facile-1.1-ocaml4.patch | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/dev-ml/facile/files/facile-1.1-ocaml4.patch b/dev-ml/facile/files/facile-1.1-ocaml4.patch deleted file mode 100644 index 3c755631236..00000000000 --- a/dev-ml/facile/files/facile-1.1-ocaml4.patch +++ /dev/null @@ -1,29 +0,0 @@ -Index: facile-1.1/src/facile.mli -=================================================================== ---- facile-1.1.orig/src/facile.mli -+++ facile-1.1/src/facile.mli -@@ -127,7 +127,7 @@ module Data : - module Hashtbl : - sig - type ('a, 'b) t -- val create : int -> ('a, 'b) t -+ val create : ?random:bool -> int -> ('a, 'b) t - val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t - val add : ('a, 'b) t -> 'a -> 'b -> unit - val find : ('a, 'b) t -> 'a -> 'b -Index: facile-1.1/src/fcl_data.cmi -=================================================================== -Binary files facile-1.1.orig/src/fcl_data.cmi and facile-1.1/src/fcl_data.cmi differ -Index: facile-1.1/src/fcl_data.mli -=================================================================== ---- facile-1.1.orig/src/fcl_data.mli -+++ facile-1.1/src/fcl_data.mli -@@ -23,7 +23,7 @@ end - - module Hashtbl : sig - type ('a, 'b) t -- val create : int -> ('a, 'b) t -+ val create : ?random:bool -> int -> ('a, 'b) t - val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t - val add : ('a, 'b) t -> 'a -> 'b -> unit - val find : ('a, 'b) t -> 'a -> 'b |