From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Lepiller Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Mon, 16 Dec 2019 10:22:11 +0100 Message-ID: References: <87tv616q5s.fsf@posteo.net> <141B1FAE-6518-4E0C-8E69-C96BCB540545@lepiller.eu> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:56949) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1igmaE-0008NS-LY for guix-devel@gnu.org; Mon, 16 Dec 2019 04:22:31 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1igmaD-0007B5-09 for guix-devel@gnu.org; Mon, 16 Dec 2019 04:22:30 -0500 Received: from lepiller.eu ([2a00:5884:8208::1]:52894) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1igmaC-00078f-Ha for guix-devel@gnu.org; Mon, 16 Dec 2019 04:22:28 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 124b6e87 for ; Mon, 16 Dec 2019 09:22:24 +0000 (UTC) Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id c0c283eb (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Mon, 16 Dec 2019 09:22:23 +0000 (UTC) In-Reply-To: <141B1FAE-6518-4E0C-8E69-C96BCB540545@lepiller.eu> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org I forgot to metion I have a small channel at https://framagit=2Eorg/tyreuno= m/guix-coq-channel that keeps track of every coq version since 8=2E6=2E I u= se it to test my coquille plugin on every coq version that exists, but I'm = sure there are other use cases :)