From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Orians, Jeremiah (DTMB)" <OriansJ@michigan.gov>
Subject: RE: [Proposal] The Formal Methods in GNU Guix Working Group
Date: Thu, 13 Feb 2020 12:13:04 +0000
Message-ID: <DM6PR09MB595782733E83C7E0B077E544C61A0@DM6PR09MB5957.namprd09.prod.outlook.com>
References: <DM6PR09MB5957FF5E863F47FF0418C602C61B0@DM6PR09MB5957.namprd09.prod.outlook.com>
 <CAJ3okZ1jQ_GDCwtfvCY1B+OeSmiAZJoe7ifxp4xjasp5bJ6nHA@mail.gmail.com>
 <20200212204332.GA44162@LionPure>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:38045)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <OriansJ@michigan.gov>) id 1j2DMi-0004wW-2P
 for guix-devel@gnu.org; Thu, 13 Feb 2020 07:13:09 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <OriansJ@michigan.gov>) id 1j2DMg-0001Wk-ON
 for guix-devel@gnu.org; Thu, 13 Feb 2020 07:13:07 -0500
Received: from mail-bl2gcc02on2081.outbound.protection.outlook.com
 ([40.107.89.81]:48609 helo=GCC02-BL0-obe.outbound.protection.outlook.com)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <OriansJ@michigan.gov>)
 id 1j2DMg-0001Wf-GK
 for guix-devel@gnu.org; Thu, 13 Feb 2020 07:13:06 -0500
In-Reply-To: <20200212204332.GA44162@LionPure>
Content-Language: en-US
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org
Sender: "Guix-devel"
 <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
To: Bengt Richter <bokr@bokr.com>, zimoun <zimon.toutoune@gmail.com>
Cc: "guix-devel@gnu.org" <guix-devel@gnu.org>, "vic798@gmail.com" <vic798@gmail.com>

PiBJU1RSIHNvbWVvbmUgbWFkZSBhbiBpbml0cmQgd2l0aCBndWlsZSBpbiBpdCwgYW5kICJib290
ZWQgdG8gZ3VpbGUuIg0KWWVwIGFtYXppbmcgd29yayB0aGF0IGl0IGlzOyBzb21lb25lIGFsc28g
bWFkZSBlbWFjcyBhbiBpbml0cmQgdG9vDQoNCj4gSWYgdGhhdCBpcyBzbywgZG9lcyB0aGF0IG5v
dCBzdWdnZXN0IHRoYXQgImZyb20gbm90aGluZyIgY291bGQgYmUgaW5kZXBlbmRlbnQgb2YgYSBy
dW5uaW5nIGtlcm5lbD8NCkFjdHVhbGx5IG5vLCBiYXJlIG1ldGFsIGlzIGEgYml0IGRpZmZlcmVu
dCB0aGFuIHJ1bm5pbmcgb24gdG9wIG9mIGEgcG9zaXgNCkJ1dCBpcyBldmVuIG1vcmUgZnVuIGlz
IHdlIG1hZGUgYSA3MzdieXRlIGluaXRyZC9zaGVsbA0KaHR0cHM6Ly9naXRodWIuY29tL29yaWFu
c2ovYm9vdHN0cmFwLXNlZWRzL2Jsb2IvbWFzdGVyL2thZW0tb3B0aW9uYWwtc2VlZC5oZXgwDQpX
aGljaCBtZWFucyBvbmUgY2FuIGJvb3RzdHJhcCBvbiBQT1NJWCBmcm9tIGhleDAgYW5kIHRoZSBh
Ym92ZSBhbGwgdGhlIHdheSB0byBtZXMtbTINCg0KPiBXb3VsZG4ndCB0aGF0IGJlIGNvb2w/ICEh
IDstKQ0KSW5kZWVkLCBoZW5jZSB3aHkgdGhlIHNvbHZpbmcgb2YgdGhlIExpbnV4L1BPU0lYIGJv
b3RzdHJhcCBwcm9ibGVtIGNhbiBiZSBzb2x2ZWQgd2l0aCBNMi1QbGFuZXQgYW5kIHN0YWdlMA0K
TmVlZCBtb3JlIGhlbHAgdGhvdWdoIHRvIGdldCBpdCBhbGwgZG9uZSBmYXN0ZXINCg0KLUplcmVt
aWFoDQo=