From debbugs-submit-bounces@debbugs.gnu.org Sun Apr 14 16:26:08 2019 Received: (at submit) by debbugs.gnu.org; 14 Apr 2019 20:26:09 +0000 Received: from localhost ([127.0.0.1]:33222 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hFlhX-0004H1-Sd for submit@debbugs.gnu.org; Sun, 14 Apr 2019 16:26:08 -0400 Received: from eggs.gnu.org ([209.51.188.92]:57298) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hFlhV-0004GW-MK for submit@debbugs.gnu.org; Sun, 14 Apr 2019 16:26:06 -0400 Received: from lists.gnu.org ([209.51.188.17]:40096) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hFlhP-000222-26 for submit@debbugs.gnu.org; Sun, 14 Apr 2019 16:26:00 -0400 Received: from eggs.gnu.org ([209.51.188.92]:43447) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hFlhO-0006SI-4N for guix-patches@gnu.org; Sun, 14 Apr 2019 16:25:58 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hFlhM-00020u-UE for guix-patches@gnu.org; Sun, 14 Apr 2019 16:25:58 -0400 Received: from lepiller.eu ([2a00:5884:8208::1]:50230) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hFlhJ-0001pD-DG for guix-patches@gnu.org; Sun, 14 Apr 2019 16:25:55 -0400 Received: from sybil.lepiller.eu (89-92-10-229.hfc.dyn.abo.bbox.fr [89.92.10.229]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 1835666c (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sun, 14 Apr 2019 20:25:45 +0000 (UTC) Date: Sun, 14 Apr 2019 22:25:36 +0200 From: Julien Lepiller To: guix-patches@gnu.org Subject: [PATCH] Remove ocaml-4.02 Message-ID: <20190414222536.704eea02@sybil.lepiller.eu> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:5884:8208::1 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi! This patch series removes ocaml-4.02 and dependent packages. I updated bap to 1.6.0 (so it can build with the latest ocaml) and downgraded ocamlify for the same reason. I removed the obsolete jbuilder and adapted two dependents. Thanks!