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:07:34 +0000
Message-ID: <DM6PR09MB59573CAF995B4714BDB0C71AC61A0@DM6PR09MB5957.namprd09.prod.outlook.com>
References: <DM6PR09MB5957FF5E863F47FF0418C602C61B0@DM6PR09MB5957.namprd09.prod.outlook.com>
 <CAJ3okZ1jQ_GDCwtfvCY1B+OeSmiAZJoe7ifxp4xjasp5bJ6nHA@mail.gmail.com>
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]:37362)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <OriansJ@michigan.gov>) id 1j2DHO-0003d0-33
 for guix-devel@gnu.org; Thu, 13 Feb 2020 07:07:39 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <OriansJ@michigan.gov>) id 1j2DHM-0007rE-Gg
 for guix-devel@gnu.org; Thu, 13 Feb 2020 07:07:37 -0500
Received: from mail-bl2gcc02on2059.outbound.protection.outlook.com
 ([40.107.89.59]:41663 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 1j2DHM-0007qZ-7W
 for guix-devel@gnu.org; Thu, 13 Feb 2020 07:07:36 -0500
In-Reply-To: <CAJ3okZ1jQ_GDCwtfvCY1B+OeSmiAZJoe7ifxp4xjasp5bJ6nHA@mail.gmail.com>
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: zimoun <zimon.toutoune@gmail.com>
Cc: "guix-devel@gnu.org" <guix-devel@gnu.org>, "vic798@gmail.com" <vic798@gmail.com>

PiBUaGUgdGVybSAibm90aGluZyIgaXMgbWl0aWdhdGVkOyBpLmUuICJub3RoaW5nIiBtZWFuczog
YSBib290ZWQgc3lzdGVtIHJ1bm5pbmcgYSAobGludXgpIGtlcm5lbC4gUmlnaHQ/DQpObywgSSBt
ZWFuIGJvb3RzdHJhcHBlZCBmcm9tIGJhcmUgbWV0YWwuDQpObyBLZXJuZWwNCk5vIGZpcm13YXJl
DQpObyBtaWNyb2NvZGUNCk5vIEJpb3MNCkp1c3QgaW5kaXZpZHVhbCBUVEwgbG9naWMgY2lyY3Vp
dHMNCmh0dHBzOi8vZ2l0aHViLmNvbS9vcmlhbnNqL3N0YWdlMA0KDQo+IFRoYW5rIHlvdSBmb3Ig
YWxsIHlvdXIgY29udHJpYnV0aW9ucyENCj4gZS5nLiwgaGV4MCBpcyBhbWF6aW5nISA6LSkNCkhl
eDAgaXMgb25seSBhYm91dCAzIGhvdXJzIG9mIHdvcmsNClRoaXMgaG93ZXZlciBpcyB0YWtpbmcg
bWUgbW9udGhzDQpodHRwczovL2dpdGh1Yi5jb20vb3JpYW5zai9tZXMtbTINCmFuZCB3aGVuIGRv
bmUgd2lsbCByZXN1bHQgaW4gc29sdmluZyBtdWx0aXBsZSBib290c3RyYXBwaW5nIHByb2JsZW1z
DQoNCi1KZXJlbWlhaA0K