From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2E12C801D9 for ; Tue, 18 Jul 2017 13:37:44 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.40,377,1496095200"; d="scan'208";a="231905420" Received: from wencory.loria.fr ([152.81.3.42]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 18 Jul 2017 13:37:23 +0200 Received: from localhost ([127.0.0.1]) by wencory.loria.fr with esmtp (Exim 4.89) (envelope-from ) id 1dXQod-000478-29; Tue, 18 Jul 2017 13:37:23 +0200 To: Olaf Hering References: <20170718090258.GB2151@aepfle.de> Cc: caml-list@inria.fr From: =?UTF-8?Q?St=c3=a9phane_Glondu?= Message-ID: Date: Tue, 18 Jul 2017 13:37:23 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 MIME-Version: 1.0 In-Reply-To: <20170718090258.GB2151@aepfle.de> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] removal of C compiler variables in in 4.06 On 18/07/2017 11:02, Olaf Hering wrote: > While wresting with labltk and 4.05 [...] FYI, I've fixed labltk with 4.05 in the Debian package (not yet uploaded): https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/labltk.git/tree/debian/patches Maybe you can double-check and submit upstream? Cheers, -- Stéphane