From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43414) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1de6ZH-0003rN-Kk for guix-patches@gnu.org; Sat, 05 Aug 2017 17:25:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1de6ZC-00046V-LS for guix-patches@gnu.org; Sat, 05 Aug 2017 17:25:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:41116) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1de6ZC-00046Q-Hp for guix-patches@gnu.org; Sat, 05 Aug 2017 17:25:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1de6ZC-0005Bi-Bo for guix-patches@gnu.org; Sat, 05 Aug 2017 17:25:02 -0400 Subject: [bug#27874] add cubicle Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20170730104312.759aa420@lepiller.eu> <20170805101322.78d1a6ca@lepiller.eu> Date: Sat, 05 Aug 2017 23:24:29 +0200 In-Reply-To: <20170805101322.78d1a6ca@lepiller.eu> (Julien Lepiller's message of "Sat, 5 Aug 2017 10:13:22 +0200") Message-ID: <87shh5k8s2.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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: 27874@debbugs.gnu.org Julien Lepiller skribis: > Le Sun, 30 Jul 2017 10:43:12 +0200, > Julien Lepiller a =C3=A9crit : > >> Hi, here is a patch to add cubicle, a model checker. > > Pushed as 3d5d87a3ae4a3320bb909265ac4d2739e206dfdd. Please remove =E2=80=9Copen source=E2=80=9D from the description. :-) Thanks for this patch! Ludo=E2=80=99.