From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 87EFC7F616 for ; Thu, 23 Feb 2017 18:33:06 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mindy@somerandomidiot.com; spf=None smtp.mailfrom=mindy@somerandomidiot.com; spf=None smtp.helo=postmaster@relay3-d.mail.gandi.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mindy@somerandomidiot.com) identity=pra; client-ip=217.70.183.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mindy@somerandomidiot.com"; x-sender="mindy@somerandomidiot.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mindy@somerandomidiot.com) identity=mailfrom; client-ip=217.70.183.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mindy@somerandomidiot.com"; x-sender="mindy@somerandomidiot.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@relay3-d.mail.gandi.net) identity=helo; client-ip=217.70.183.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mindy@somerandomidiot.com"; x-sender="postmaster@relay3-d.mail.gandi.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AP8pt5xYEG8AeEk9YpJ16NWD/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr867bnLW6fgltlLVR4KTs6sC0LuL9fmwEj1Rqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLdyIRmssAnctcYajI9mJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lLxVrhK8qRJ8zYDbbo6aO+ZxcK7GYdMXR3BMUtpNWyFPAI6x?= =?us-ascii?q?aZYEAeobPeZfqonwv1wArRq4BQaxBOLk1zhFhnr33a08zusgERrL3BcnH9ILrn?= =?us-ascii?q?vUts/6NKEPXuCyyanIzCjMb/JR2Tfh8oTHbhchofSVUL92bMHfx04vFwbfgVWR?= =?us-ascii?q?r4zoJzaV1uUXs2eB4OpvS/iji28gqw1ppTig2t0jiozNho4PzVDE7yp5zJ46Jd?= =?us-ascii?q?25VE57YcOkH4BKuy6GMIt2R8UvSHxrtiYi0rAKp4O3cSoQxJkl2xLTceGLfouG?= =?us-ascii?q?7x75SeqcJTd1iGp4dL6jhxu+61Wsx+3zW8Wu01tHrjBJnsTPu3wQ0RHY99KJRe?= =?us-ascii?q?Fn/ki73DaCzwDT5f9AIUAzjafbMYAuwroqmZsTv0nPBzL5lF/zjKCMd0Uk/vKk?= =?us-ascii?q?6+v9bbXgu5CcNpV4igfgPaQygsC/AOI4PRYSX2WD5+iwyb/u8Vf7TblWlPE6j6?= =?us-ascii?q?rUvZ7AKcgGoqO0AxdZ0oM55Ba+Czem3s4YnX4CLF9dfRKHjo7pNEzOIf3jFve/?= =?us-ascii?q?hFGsnylxx//cOL3uH5LNLn3CkLj8fLZ97FJcxBAvwtBY4pJYEqsBL+7rWk/tqN?= =?us-ascii?q?zYCQc0PBCuzObiDNVxz4ceWWOUAq+FK67Sql+J5uc3I+aWfoMVuTD9K+Ik5/H0?= =?us-ascii?q?l3M5l0UdLuGV2s4cYXW8W/BnOFmxYHz2g95HH31ZkBA5SbnPiVuOQHYHYne0U7?= =?us-ascii?q?MU/TY+BZivC4vEQ4Ghgbudmiy8G8sFNSh9FlmQHCKwJM2/UPAWZXfKLw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DwAgDpG69YhsO3RtldHAEBFgEBBQEBC?= =?us-ascii?q?QEBARUBAQEEAQEBg3kDgQYHg1SYepoqKokdQhUBAQEBAQEBAQEBARIBAQEICws?= =?us-ascii?q?KHS+CMyCCRxV2AiYCbAgBAYlvBgQGnjyQBYImi0wmgQuFQIIGhzFZggAMLoJfB?= =?us-ascii?q?YkZhzOFHYYrgluEGY0rU4ECBYNCgy6GSgKTJgI1gSI1HxWFGoIMVokLgS4BgQw?= =?us-ascii?q?BAQE?= X-IPAS-Result: =?us-ascii?q?A0DwAgDpG69YhsO3RtldHAEBFgEBBQEBCQEBARUBAQEEAQE?= =?us-ascii?q?Bg3kDgQYHg1SYepoqKokdQhUBAQEBAQEBAQEBARIBAQEICwsKHS+CMyCCRxV2A?= =?us-ascii?q?iYCbAgBAYlvBgQGnjyQBYImi0wmgQuFQIIGhzFZggAMLoJfBYkZhzOFHYYrglu?= =?us-ascii?q?EGY0rU4ECBYNCgy6GSgKTJgI1gSI1HxWFGoIMVokLgS4BgQwBAQE?= X-IronPort-AV: E=Sophos;i="5.35,198,1484002800"; d="scan'208";a="214515930" Received: from relay3-d.mail.gandi.net ([217.70.183.195]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Feb 2017 18:33:05 +0100 Received: from mfilter27-d.gandi.net (mfilter27-d.gandi.net [217.70.178.155]) by relay3-d.mail.gandi.net (Postfix) with ESMTP id 6CDC5A8104 for ; Thu, 23 Feb 2017 18:33:05 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter27-d.gandi.net Received: from relay3-d.mail.gandi.net ([IPv6:::ffff:217.70.183.195]) by mfilter27-d.gandi.net (mfilter27-d.gandi.net [::ffff:10.0.15.180]) (amavisd-new, port 10024) with ESMTP id ijujScTRunye for ; Thu, 23 Feb 2017 18:33:03 +0100 (CET) X-Originating-IP: 105.154.85.181 Received: from [10.137.3.11] (unknown [105.154.85.181]) (Authenticated sender: guybrush@somerandomidiot.com) by relay3-d.mail.gandi.net (Postfix) with ESMTPSA id 4A452A80DD for ; Thu, 23 Feb 2017 18:33:03 +0100 (CET) To: caml-list@inria.fr From: Mindy Message-ID: Date: Thu, 23 Feb 2017 11:33:01 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] [ANN] mirage 3.0.0 Hello! It is my great pleasure to announce that Mirage version 3 has been released into opam-repository. Allowing for the time necessary to sync `opam.ocaml.org`, you should soon be able to upgrade to Mirage 3. You'll need to be using OCaml version 4.03.0 or later. For more information on what's in Mirage 3, check out the blog post at https://mirage.io/blog/announcing-mirage-30-release . (There's also a version hosted on the new Solo5 backend at http://solo5.mirage.io/blog/announcing-mirage-30-release !) We've prepared a porting guide at https://mirage.io/wiki/mirage2-to-mirage3 for those of you want quick help getting your unikernels up and running in the new universe. The introductory content at https://mirage.io/wiki/hello-world (and https://github.com/mirage/mirage-skeleton , to which it refers) has also been updated, if you're looking to get started with Mirage for the first time. If you choose to use a pre-existing opam switch when upgrading to Mirage 3 from Mirage 2, you may need to remove some roots that were previously autoinstalled by `mirage configure` in version 2 before `opam upgrade` is willing to upgrade you to Mirage 3. If you were using the `mirage-dev` or `mirageos-3-beta` opam remotes, those are no longer necessary. `mirageos-3-beta` will be removed shortly, and `mirage-dev` will have its packages cleared to make way for whatever next set of staging packages is about to dazzle us. Please let us know if you have any difficulties or questions :) Thanks, Mindy Preston