From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 2D1B91396D0 for ; Tue, 8 Aug 2017 17:15:54 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 973EEE0839; Tue, 8 Aug 2017 17:15:53 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 7BB97E0839 for ; Tue, 8 Aug 2017 17:15:53 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id BBBA2341835 for ; Tue, 8 Aug 2017 17:15:52 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 6142875F9 for ; Tue, 8 Aug 2017 17:15:51 +0000 (UTC) From: "Andreas Sturmlechner" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Andreas Sturmlechner" Message-ID: <1502212528.9e4ee21441d8265d5702bda2d1f02c4dec0fb115.asturm@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/files/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/facile/files/facile-1.1-ocaml4.patch X-VCS-Directories: dev-ml/facile/files/ X-VCS-Committer: asturm X-VCS-Committer-Name: Andreas Sturmlechner X-VCS-Revision: 9e4ee21441d8265d5702bda2d1f02c4dec0fb115 X-VCS-Branch: master Date: Tue, 8 Aug 2017 17:15:51 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 1cf454b1-9469-4201-beae-5bee1f57bd71 X-Archives-Hash: ec5e69ab473cf36491f740244e1e8651 commit: 9e4ee21441d8265d5702bda2d1f02c4dec0fb115 Author: Michael Mair-Keimberger (asterix) gmail com> AuthorDate: Tue Aug 8 16:20:41 2017 +0000 Commit: Andreas Sturmlechner gentoo org> CommitDate: Tue Aug 8 17:15:28 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e4ee214 dev-ml/facile: remove unused patch Closes: https://github.com/gentoo/gentoo/pull/5358 dev-ml/facile/files/facile-1.1-ocaml4.patch | 29 ----------------------------- 1 file changed, 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