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: Tue, 18 Feb 2020 11:17:31 +0000
Message-ID: <DM6PR09MB5957499C5BE258A9695DD4ABC6110@DM6PR09MB5957.namprd09.prod.outlook.com>
References: <DM6PR09MB5957FF5E863F47FF0418C602C61B0@DM6PR09MB5957.namprd09.prod.outlook.com>
 <CAJ3okZ1jQ_GDCwtfvCY1B+OeSmiAZJoe7ifxp4xjasp5bJ6nHA@mail.gmail.com>
 <DM6PR09MB59573CAF995B4714BDB0C71AC61A0@DM6PR09MB5957.namprd09.prod.outlook.com>
 <CAJ3okZ2HmSukHZLBFcNqCibZRYxFBv1_A-8NvOS3NMiOVcUdpw@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]:57938)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <OriansJ@michigan.gov>) id 1j40si-0006iU-B4
 for guix-devel@gnu.org; Tue, 18 Feb 2020 06:17:37 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <OriansJ@michigan.gov>) id 1j40sg-0004rw-L7
 for guix-devel@gnu.org; Tue, 18 Feb 2020 06:17:35 -0500
Received: from mail-bl2gcc02on2083.outbound.protection.outlook.com
 ([40.107.89.83]:38046 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 1j40sg-0004oZ-7i
 for guix-devel@gnu.org; Tue, 18 Feb 2020 06:17:34 -0500
In-Reply-To: <CAJ3okZ2HmSukHZLBFcNqCibZRYxFBv1_A-8NvOS3NMiOVcUdpw@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>

Pj4gPiBUaGUgdGVybSAibm90aGluZyIgaXMgbWl0aWdhdGVkOyBpLmUuICJub3RoaW5nIiBtZWFu
czogYSBib290ZWQgc3lzdGVtIHJ1bm5pbmcgYSAobGludXgpIGtlcm5lbC4gUmlnaHQ/DQo+PiBO
bywgSSBtZWFuIGJvb3RzdHJhcHBlZCBmcm9tIGJhcmUgbWV0YWwuDQo+PiBObyBLZXJuZWwNCj4+
IE5vIGZpcm13YXJlDQo+PiBObyBtaWNyb2NvZGUNCj4+IE5vIEJpb3MNCj4+IEp1c3QgaW5kaXZp
ZHVhbCBUVEwgbG9naWMgY2lyY3VpdHMNCj4gSXMgaXQgcmVhZHkgeWV0Pw0KV2VsbCB0aGUgcGFy
dHMgYWxsIHRoZSB3YXkgdG8gTTItUGxhbmV0IGFyZSBkb25lIGFuZCB2ZXJpZmllZCBvbiB0aGUg
dmlydHVhbCBtYWNoaW5lDQpodHRwczovL2dpdGh1Yi5jb20vb3JpYW5zai9zdGFnZTANCg0KV2Ug
aG93ZXZlciBuZWVkIHRvIHdyaXRlIGEgcG9ydGFibGUgUE9TSVggdG8gcmVtb3ZlIExpbnV4IGZy
b20gZ3VpeCdzIGJvb3RzdHJhcA0KKElkZWFsbHkgYnVpbGRhYmxlIHZpYSBNMi1QbGFuZXQgYW5k
IGRpc2N1c3Npb24gb24gd2hhdCByb3V0ZSBpcyBvbmdvaW5nKQ0KDQpUaGVuIGltcGxlbWVudCB0
aGUgZGVzaWduIG9uIEZQR0EgdmlhIGh0dHA6Ly93d3cuY2xpZmZvcmQuYXQvaWNlc3Rvcm0vDQoN
CkZpbmFsbHkgSSdsbCBoYXZlIHRvIGNvbnZpbmNlIG15IHdpZmUgdG8gbGV0IG1lIHNwZW5kICQx
MEsgdG8gaW1wbGVtZW50IHRoZSBkZXNpZ24gaW4gaGFyZHdhcmUgdXNpbmc6IGh0dHBzOi8vbGli
cmVzaWxpY29uLmNvbS8NCihCdXQgYXQgbGVhc3QgSSdsbCBoYXZlIHBsZW50eSBvZiBmcmVlIGNo
aXBzIHRvIHNoYXJlIHdpdGggdGhlIHdvcmxkKQ0KDQo+VGhpcyBzaG91bGQgYmUgZ3JlYXQuIDot
KQ0KVGhhdCBpcyB0aGUgcGxhbiBidXQgd2UgcmVhbGx5IGNvdWxkIHVzZSBtb3JlIHNjaGVtZSBw
cm9ncmFtbWVycy4NCihBbWJpdGlvdXMgZ29hbHMgYW5kIGFsbCB0aGF0KQ0KDQotSmVyZW1pYWgN
Cg==