From mirageos-devel-bounces@lists.xenproject.org Fri Feb 11 13:58:43 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 11 Feb 2022 13:58:43 +0000 Received: from list by lists.xenproject.org with outflank-mailman.270524.464840 (Exim 4.92) (envelope-from ) id 1nIWRS-0000kY-D9; Fri, 11 Feb 2022 13:58:30 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 270524.464840; Fri, 11 Feb 2022 13:58:30 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nIWRS-0000kR-9g; Fri, 11 Feb 2022 13:58:30 +0000 Received: by outflank-mailman (input) for mailman id 270524; Fri, 11 Feb 2022 13:58:28 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nIWRQ-0000kL-OJ for mirageos-devel@lists.xenproject.org; Fri, 11 Feb 2022 13:58:28 +0000 Received: from relay7-d.mail.gandi.net (relay7-d.mail.gandi.net [2001:4b98:dc4:8::227]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id adde51c5-8b42-11ec-8f75-fffcc8bd4f1a; Fri, 11 Feb 2022 14:58:27 +0100 (CET) Received: (Authenticated sender: thomas@gazagnaire.org) by mail.gandi.net (Postfix) with ESMTPSA id 1320E2000A for ; Fri, 11 Feb 2022 13:58:23 +0000 (UTC) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: adde51c5-8b42-11ec-8f75-fffcc8bd4f1a From: Thomas Gazagnaire Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.60.0.1.1\)) Subject: Beta Release of MirageOS 4.0 Message-Id: Date: Fri, 11 Feb 2022 14:58:23 +0100 To: mirageos-devel@lists.xenproject.org X-Mailer: Apple Mail (2.3693.60.0.1.1) On behalf of the Mirage team, I am delighted to announce the beta = release of MirageOS 4.0! The beta of the MirageOS 4.00 release contains: - mirage.4.0.0~beta: the CLI tool; - ocaml-freestanding.0.7.0: a libc-free OCaml runtime; - and solo5.0.7.0: a cross-compiler for OCaml. They are all available in opam by using: $ opam install 'mirage>=3D4.0' Note: you need to explicitly add the =E2=80=98mirage>=3D4.0' version = here, otherwise opam will select the latest 3.* stable release. For a = good experience, check that at least version 4.0.0~beta3 is installed. Your feedback on this beta release is very much appreciated. Issues are = very welcome on the mirage/mirage GH bug-tracker, or come find us on = Matrix in the MirageOS channel: #mirageos:matrix.org. You can see the full feature list on https://mirage.io/docs/mirage-4 and = on the release post: = https://mirage.io/blog/announcing-mirage-40-beta-release Best, Thomas= From mirageos-devel-bounces@lists.xenproject.org Fri Feb 11 18:56:13 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Fri, 11 Feb 2022 18:56:13 +0000 Received: from list by lists.xenproject.org with outflank-mailman.270622.464965 (Exim 4.92) (envelope-from ) id 1nIb5O-0000oX-Dx; Fri, 11 Feb 2022 18:56:02 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 270622.464965; Fri, 11 Feb 2022 18:56:02 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nIb5O-0000oQ-Av; Fri, 11 Feb 2022 18:56:02 +0000 Received: by outflank-mailman (input) for mailman id 270622; Fri, 11 Feb 2022 18:56:01 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nIb5M-0000oJ-W0 for mirageos-devel@lists.xenproject.org; Fri, 11 Feb 2022 18:56:00 +0000 Received: from relay4-d.mail.gandi.net (relay4-d.mail.gandi.net [217.70.183.196]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 40353fea-8b6c-11ec-8f75-fffcc8bd4f1a; Fri, 11 Feb 2022 19:55:59 +0100 (CET) Received: (Authenticated sender: guybrush@somerandomidiot.com) by mail.gandi.net (Postfix) with ESMTPSA id 3F03AE0002 for ; Fri, 11 Feb 2022 18:55:57 +0000 (UTC) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 40353fea-8b6c-11ec-8f75-fffcc8bd4f1a Message-ID: <48d7b495-ca29-c791-ef4d-8cd3e783da17@somerandomidiot.com> Date: Fri, 11 Feb 2022 12:55:51 -0600 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.1 Subject: Re: Beta Release of MirageOS 4.0 Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: From: Mindy In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit On 2/11/22 07:58, Thomas Gazagnaire wrote: > On behalf of the Mirage team, I am delighted to announce the beta release of MirageOS 4.0! > > The beta of the MirageOS 4.00 release contains: > - mirage.4.0.0~beta: the CLI tool; > - ocaml-freestanding.0.7.0: a libc-free OCaml runtime; > - and solo5.0.7.0: a cross-compiler for OCaml. > > They are all available in opam by using: > > $ opam install 'mirage>=4.0' > > Note: you need to explicitly add the ‘mirage>=4.0' version here, otherwise opam will select the latest 3.* stable release. For a good experience, check that at least version 4.0.0~beta3 is installed. > > Your feedback on this beta release is very much appreciated. Issues are very welcome on the mirage/mirage GH bug-tracker, or come find us on Matrix in the MirageOS channel: #mirageos:matrix.org. > > You can see the full feature list on https://mirage.io/docs/mirage-4 and on the release post: https://mirage.io/blog/announcing-mirage-40-beta-release I'm very excited to try it out! Thanks to everyone who put in a ton of work to get MirageOS 4.0 into reality. The new look on https://mirage.io is also excellent. Digging around in the commit history it looks like it's on Dream now? Hats off to those who ported it :) -yomimono From mirageos-devel-bounces@lists.xenproject.org Sun Feb 27 18:08:38 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 27 Feb 2022 18:08:38 +0000 Received: from list by lists.xenproject.org with outflank-mailman.280045.477863 (Exim 4.92) (envelope-from ) id 1nONy6-00049Q-S4; Sun, 27 Feb 2022 18:08:26 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 280045.477863; Sun, 27 Feb 2022 18:08:26 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nONy6-00049J-Og; Sun, 27 Feb 2022 18:08:26 +0000 Received: by outflank-mailman (input) for mailman id 280045; Sun, 27 Feb 2022 18:08:25 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nONy5-00049D-Sn for mirageos-devel@lists.xenproject.org; Sun, 27 Feb 2022 18:08:25 +0000 Received: from relay4-d.mail.gandi.net (relay4-d.mail.gandi.net [217.70.183.196]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 3faffa53-97f8-11ec-8539-5f4723681683; Sun, 27 Feb 2022 19:08:24 +0100 (CET) Received: (Authenticated sender: guybrush@somerandomidiot.com) by mail.gandi.net (Postfix) with ESMTPSA id B8B10E0002 for ; Sun, 27 Feb 2022 18:08:20 +0000 (UTC) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 3faffa53-97f8-11ec-8539-5f4723681683 Message-ID: Date: Sun, 27 Feb 2022 12:08:12 -0600 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.5.1 Content-Language: en-US To: mirageos-devel@lists.xenproject.org From: Mindy Subject: release mirage-kv 4.0.1? Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Hi folks, I'm slowly inching closer to an opam release that depends on mirage-kv.  The current released version of mirage-kv has an annoying bug in the Key module that causes runtime crashes for my software; a fix has been merged but there's no new version of mirage-kv for me to state a dependency on. Any chance I could get a mirage-kv 4.0.1 anytime soon? Thanks, Mindy From mirageos-devel-bounces@lists.xenproject.org Mon Feb 28 18:55:47 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Mon, 28 Feb 2022 18:55:47 +0000 Received: from list by lists.xenproject.org with outflank-mailman.280738.478788 (Exim 4.92) (envelope-from ) id 1nOlBH-00023n-Oj; Mon, 28 Feb 2022 18:55:35 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 280738.478788; Mon, 28 Feb 2022 18:55:35 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nOlBH-00023g-Ks; Mon, 28 Feb 2022 18:55:35 +0000 Received: by outflank-mailman (input) for mailman id 280738; Mon, 28 Feb 2022 18:55:34 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1nOlBG-00023a-SU for mirageos-devel@lists.xenproject.org; Mon, 28 Feb 2022 18:55:34 +0000 Received: from relay10.mail.gandi.net (relay10.mail.gandi.net [217.70.178.230]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 009faafd-98c8-11ec-8eba-a37418f5ba1a; Mon, 28 Feb 2022 19:55:33 +0100 (CET) Received: (Authenticated sender: guybrush@somerandomidiot.com) by mail.gandi.net (Postfix) with ESMTPSA id 036F724000B for ; Mon, 28 Feb 2022 18:55:29 +0000 (UTC) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 009faafd-98c8-11ec-8eba-a37418f5ba1a Message-ID: Date: Mon, 28 Feb 2022 12:55:22 -0600 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux aarch64; rv:91.0) Gecko/20100101 Thunderbird/91.5.1 Subject: Re: release mirage-kv 4.0.1? Content-Language: en-US To: mirageos-devel@lists.xenproject.org References: From: Mindy In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit On 2/27/22 12:08, Mindy wrote: > Hi folks, > > I'm slowly inching closer to an opam release that depends on > mirage-kv.  The current released version of mirage-kv has an annoying > bug in the Key module that causes runtime crashes for my software; a > fix has been merged but there's no new version of mirage-kv for me to > state a dependency on. > > Any chance I could get a mirage-kv 4.0.1 anytime soon? My GitHub notifications inform me that @dinosaure has taken care of this. Thank you! :D Excelsior, Mindy