From debbugs-submit-bounces@debbugs.gnu.org Sun Jul 17 14:30:59 2022 Received: (at 56356) by debbugs.gnu.org; 17 Jul 2022 18:30:59 +0000 Received: from localhost ([127.0.0.1]:48549 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oD92h-0005Be-4p for submit@debbugs.gnu.org; Sun, 17 Jul 2022 14:30:59 -0400 Received: from eggs.gnu.org ([209.51.188.92]:37944) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oD92b-0005BH-W2 for 56356@debbugs.gnu.org; Sun, 17 Jul 2022 14:30:57 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:49286) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oD92T-00085g-HU; Sun, 17 Jul 2022 14:30:45 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=GufLofDoOgHy+A36IonNx6pN1TIIRbBcUkfslF4JqE4=; b=qE9Vi6WVRTyGgHVg24uZ 2+TH9hKAZwuYMQ0jqKtOSwpUM5Siicc+TWDqZ5f6HmZA4biP+3a6nj+/z8gzmdTLygQGwDvZqHGEe P8l98fBCAXb2MC0QXc7LaKrPGoI/UbwlezY5yJWIZY3XErc8szt0AF8Wj+/nw7pZvJneMeVJUK4Ui Nw5lSFamsas6lvV+edprHgcCSE0yclEqT/M/8BwF/N9schPkdFw7E2PFaAnEYkqWe0XUZ5b04KbBe nvw5L5U0kaYKwuY//3R5nxzgvAOBoaKuThoaGYTBzyThC5uvCQrcjPoVCQRoG8iQNNhe1gVb/xnfW PqDeynMUZnshHA==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:59330 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oD92O-0002CS-Iw; Sun, 17 Jul 2022 14:30:45 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Julien Lepiller Subject: Re: bug#56356: [WIP PATCH] gnu: dedukti: Update to 1.7. References: <20220702134201.3cf338e1@sybil.lepiller.eu> Date: Sun, 17 Jul 2022 20:30:38 +0200 In-Reply-To: <20220702134201.3cf338e1@sybil.lepiller.eu> (Julien Lepiller's message of "Sat, 2 Jul 2022 13:42:01 +0200") Message-ID: <87lesr4mnl.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 56356 Cc: Gabriel Hondet , 56356@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Saluton! :-) Julien Lepiller skribis: > From cd89e04ea72c18d59a01baccc9311b5070c845a4 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller > Date: Sat, 2 Jul 2022 13:36:08 +0200 > Subject: [PATCH] gnu: dedukti: Update to 2.7. > > * gnu/packages/ocaml.scm (dedukti): Update to 2.7. If it works for both of you, I=E2=80=99d say go for it! Ludo=E2=80=99.