From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:58772) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1inUvL-0000qb-Ku for guix-patches@gnu.org; Fri, 03 Jan 2020 16:56:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1inUvK-0006D8-Nx for guix-patches@gnu.org; Fri, 03 Jan 2020 16:56:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:36246) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1inUvK-0006Bs-Jh for guix-patches@gnu.org; Fri, 03 Jan 2020 16:56:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1inUvK-000857-IR for guix-patches@gnu.org; Fri, 03 Jan 2020 16:56:02 -0500 Subject: bug#38770: [PATCH] gnu: Add lean. Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Brett Gilio References: <87tv5l9d5e.fsf@gnu.org> Date: Fri, 03 Jan 2020 15:55:23 -0600 In-Reply-To: <87tv5l9d5e.fsf@gnu.org> (Amin Bandali's message of "Sat, 28 Dec 2019 01:29:01 -0500") Message-ID: <875zhs19ys.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Amin Bandali Cc: 38770-done@debbugs.gnu.org Great first contribution to the formal methods working group! Pushed to master with db1bc0d92e4a023d2b22487c324410e8dc4cda1f. -- Brett M. Gilio GNU Guix, Contributor | GNU Project, Webmaster [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE]