From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:33008) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hJhz9-0002uB-Bh for guix-patches@gnu.org; Thu, 25 Apr 2019 13:16:36 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hJho1-0004ie-1i for guix-patches@gnu.org; Thu, 25 Apr 2019 13:05:06 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:45683) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hJhny-0004e4-Vm for guix-patches@gnu.org; Thu, 25 Apr 2019 13:05:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hJhny-00008r-P5 for guix-patches@gnu.org; Thu, 25 Apr 2019 13:05:02 -0400 Subject: bug#35280: [PATCH] Remove ocaml-4.02 Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Thu, 25 Apr 2019 19:04:11 +0200 From: Julien Lepiller Message-ID: <20190425190411.5f7d1c34@sybil.lepiller.eu> In-Reply-To: <20190414222536.704eea02@sybil.lepiller.eu> References: <20190414222536.704eea02@sybil.lepiller.eu> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 35280-done@debbugs.gnu.org Le Sun, 14 Apr 2019 22:25:36 +0200, Julien Lepiller a =C3=A9crit : > Hi! >=20 > 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. >=20 > Thanks! >=20 Pushed as ce9a30e6f4a34df45a4a165fea315f61745bb1d3 - c3634df2a48a5b981a97c85f425784cee9f94bc7 since there was no answer.