From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 49DF35D4 for ; Thu, 12 Jul 2018 00:11:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,339,1526335200"; d="scan'208";a="338494353" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Jul 2018 02:11:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 90766824B4; Thu, 12 Jul 2018 02:11:26 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 29F1F82416 for ; Thu, 12 Jul 2018 02:11:19 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=garrigue@math.nagoya-u.ac.jp; spf=None smtp.mailfrom=garrigue@math.nagoya-u.ac.jp; spf=None smtp.helo=postmaster@ms.math.nagoya-u.ac.jp IronPort-PHdr: =?us-ascii?q?9a23=3AmP/NHxUAAazHeKjV2ehsloF6rd/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBOFt8tkgFKBZ4jH8fUM07OQ7/i+HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9zIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZAo2z?= =?us-ascii?q?c4QBAOUcM+hWoYnzuVkBoxi5CwS3GOPv0zpIimP23aEm0eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtNH7O70OXuCs0anH0y7DZO5X1zjn8ojIaBEhof6RXb1ubMHczkYvGBnfjlWK?= =?us-ascii?q?qIzlMC6V2foWvmie9eVgSeKvh3Qhqw5rrTivwccthZPQioII0FzL7zl2zJw3Jd?= =?us-ascii?q?2gUUN2Z8OvHpVXtyGfLYR2Q8UiTnlpuCY80L0GuIS0cDIEyJQ9wRPUdv+Jc5CQ?= =?us-ascii?q?7x7+WuucLy10iXN/dL6iiRu+7VKsxvDhWsWs0FtHrTBJnsTMu30OzRDf99aLR/?= =?us-ascii?q?hn8ku82TuC1Qbe4fxeL08uj6rUMZshz6YwlpUNtUTDGTf7mEDtjKOMc0Ur4PSo?= =?us-ascii?q?6+T9brXgvJCcOIh0iwHkPag3h8yzG/43PRQUU2iZ4eSwzLzj/UvnT7VWlvA6j6?= =?us-ascii?q?fUvZ7AKckavKK1HgFY3po55xqiEjuqyNEYkmMGLFJBdhKHlY/pO1TWLfD3F/i/?= =?us-ascii?q?mU6skDZkx/DbILLsGZDNIWLfkLfhZ7p97VRTyAU0zdFf/Z1YE6wBLOjpVUDtrt?= =?us-ascii?q?DYDAc5PxSuw+n7ENV9yp8eWWWXD6CFKqzStFuI6vsrI+mNf48VpC3wK+Ml5v7r?= =?us-ascii?q?lX82g0URfaiv3ZsNaXC3BO5qI0uDYSmkvtBUNG4Lugs4Q6TOiUaeGRl4bnO2F/?= =?us-ascii?q?Y37zQ/TYanFpvrR4a3gbXH0j3tTbNMYWUTKFmHCGrlbM2rUu0WaS2PL4c1nTUe?= =?us-ascii?q?T7muVoIJ0BiytEn8wrVgP+OR52sRvtThzI4mtKXoiRgu+GksXIym2GaXQjQxxz?= =?us-ascii?q?tQHm5k7OVEuUV4j2y7/+19iv1cG8ZU4qkQAAIzKZ6ayeV1DMH7Hx+Hd9zPSk70?= =?us-ascii?q?Goz6UwF0dco4xpo1W2g4A8+r1EmR2iO2A/kTnrOMFZVx7+TV1D7zP5QlkiuU5O?= =?us-ascii?q?wal1AjB/B3Gyimi6p4rVSBApWPlkyFl+CsfKsbzSeI6SGKxiyMpBMAXQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AiAgB4m0ZblwuCBoVcGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQsA2oSKIN6iGONPyR1ljcBCiOESQKCVgYGNRMBAgEBAgEBAQEBEwE?= =?us-ascii?q?BAQEBCBYGTAyCNSQBgl0BAgMjHQEBOA8LGAICJgICVwaDMwGBfhCpABEzboEug?= =?us-ascii?q?nEBAQWEUhmCWQiBC4oJgRAnDIIpNYR7gwExgiSGAQeHOowXCYYKiR2CBoYThUi?= =?us-ascii?q?KOIUBglmBWYFyTTg7KgGCPgk1gVsahQyBSIdbYAGMawEB?= X-IPAS-Result: =?us-ascii?q?A0AiAgB4m0ZblwuCBoVcGgEBAQEBAgEBAQEIAQEBAYQsA2o?= =?us-ascii?q?SKIN6iGONPyR1ljcBCiOESQKCVgYGNRMBAgEBAgEBAQEBEwEBAQEBCBYGTAyCN?= =?us-ascii?q?SQBgl0BAgMjHQEBOA8LGAICJgICVwaDMwGBfhCpABEzboEugnEBAQWEUhmCWQi?= =?us-ascii?q?BC4oJgRAnDIIpNYR7gwExgiSGAQeHOowXCYYKiR2CBoYThUiKOIUBglmBWYFyT?= =?us-ascii?q?Tg7KgGCPgk1gVsahQyBSIdbYAGMawEB?= X-IronPort-AV: E=Sophos;i="5.51,339,1526335200"; d="scan'208";a="338494321" Received: from bsd20.math.nagoya-u.ac.jp (HELO ms.math.nagoya-u.ac.jp) ([133.6.130.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Jul 2018 02:11:17 +0200 Received: from [192.168.0.13] (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ms.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id C88D781E0DD for ; Thu, 12 Jul 2018 09:11:13 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=math.nagoya-u.ac.jp; s=20160220; t=1531354273; bh=lIKef8AGktEJIFEqBGaT/F8luj8Dsb2xSsS9kUZlzgs=; h=From:Subject:Date:References:To:In-Reply-To; b=con8zkL+bAte9SGvlg6k7fr34ksKhW7Y6gdeZKabKUMlJf0oBEcTs5Ki52thoXLqm Pfk7OrjVa5qekkbOy1KKG6QQRmDa7NoT6ecSOwM4QUbm3FbZmJGggACIgRXygUzIpS ilz/ojAY6pVK6CzEaYDSpKgkHMS9GztQJHVw5Q+U= From: Jacques Garrigue Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.4 \(3445.8.2\)) Date: Thu, 12 Jul 2018 09:11:11 +0900 References: <20180711210132.b2mww2wetppctuhg@matica.foolinux.mooo.com> To: Mailing List OCaml In-Reply-To: <20180711210132.b2mww2wetppctuhg@matica.foolinux.mooo.com> Message-Id: <22E1C036-73E3-4199-92B8-6C7ADA793D87@math.nagoya-u.ac.jp> X-Mailer: Apple Mail (2.3445.8.2) X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.6.2 (ms.math.nagoya-u.ac.jp [0.0.0.0]); Thu, 12 Jul 2018 09:11:13 +0900 (JST) X-Virus-Scanned: clamav-milter 0.99.2 at bsdserver20 X-Virus-Status: Clean X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on bsdserver20.math.nagoya-u.ac.jp Subject: Re: [Caml-list] OCaml release 4.07.0 Reply-To: Jacques Garrigue X-Loop: caml-list@inria.fr X-Sequence: 16985 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: On 2018/07/12 06:01, Ian Zimmerman wrote: >=20 > On 2018-07-10 17:55, Damien Doligez wrote: >=20 >> We have the pleasure of celebrating the birthday of Nikola Tesla and >> Marcel Proust by announcing the release of OCaml version 4.07.0. This >> is a major release with a lot of new features, see the changelog >> below. >>=20 >> It is available as a bunch of OPAM switches, or as a source download >> here: < http://caml.inria.fr/pub/distrib/ocaml-4.07 >. >=20 > Building labltk via opam in the new switch fails. >=20 > I can investigate, but am I really the first to detect the problem? There is a new version of labltk, but wait a minute for opam, because there= was a typo in the url. (opam does not seem to check for 4.07 yet=E2=80=A6) Jacques Garrigue --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=