From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id kI0XAgK/9GO2IAEAbAwnHQ (envelope-from ) for ; Tue, 21 Feb 2023 13:54:26 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id kJHDAQK/9GPVogAA9RJhRA (envelope-from ) for ; Tue, 21 Feb 2023 13:54:26 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id A15D5B2C5 for ; Tue, 21 Feb 2023 13:54:25 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pUS9k-000314-9B; Tue, 21 Feb 2023 07:54:04 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pUS9j-00030N-24 for guix-patches@gnu.org; Tue, 21 Feb 2023 07:54:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pUS9i-0000XO-Lf for guix-patches@gnu.org; Tue, 21 Feb 2023 07:54:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pUS9h-00033p-Qi for guix-patches@gnu.org; Tue, 21 Feb 2023 07:54:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#61665] [PATCH] gnu: python-clingo: Fix invalid G-expression input. Resent-From: Christopher Baines Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Feb 2023 12:54:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 61665 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 61665-done@debbugs.gnu.org, 61665@debbugs.gnu.org X-Debbugs-Original-To: 61665-done@debbugs.gnu.org, guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.167698401111712 (code B ref -1); Tue, 21 Feb 2023 12:54:01 +0000 Received: (at submit) by debbugs.gnu.org; 21 Feb 2023 12:53:31 +0000 Received: from localhost ([127.0.0.1]:54879 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pUS9D-00032q-82 for submit@debbugs.gnu.org; Tue, 21 Feb 2023 07:53:31 -0500 Received: from lists.gnu.org ([209.51.188.17]:52450) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pUS99-00032f-Np for submit@debbugs.gnu.org; Tue, 21 Feb 2023 07:53:29 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pUS99-0002sh-Hu for guix-patches@gnu.org; Tue, 21 Feb 2023 07:53:27 -0500 Received: from mira.cbaines.net ([2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pUS97-0000So-QI for guix-patches@gnu.org; Tue, 21 Feb 2023 07:53:27 -0500 Received: from localhost (unknown [IPv6:2a02:8010:68c1:0:3a91:a0a4:ecee:f157]) by mira.cbaines.net (Postfix) with ESMTPSA id 1B0A416A9E; Tue, 21 Feb 2023 12:53:23 +0000 (GMT) Received: from felis (localhost [127.0.0.1]) by localhost (OpenSMTPD) with ESMTP id 5cbdd3c9; Tue, 21 Feb 2023 12:53:22 +0000 (UTC) References: <20230221010018.2689405-1-zimon.toutoune@gmail.com> <57f926d32bf2aa1208e76207f922b338fb7d7cc3.camel@gmail.com> User-agent: mu4e 1.8.13; emacs 28.2 From: Christopher Baines Date: Tue, 21 Feb 2023 12:52:54 +0000 In-reply-to: <57f926d32bf2aa1208e76207f922b338fb7d7cc3.camel@gmail.com> Message-ID: <87356zfadc.fsf@cbaines.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a01:7e00:e000:2f8:fd4d:b5c7:13fb:3d27; envelope-from=mail@cbaines.net; helo=mira.cbaines.net X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1676984065; a=rsa-sha256; cv=none; b=RQIhiedCfP2yLMzzgfqdBuiCAUt1NqmILmI+2GZe9zHyxVGWrkEJqe15nE8OHuZ4HJBsvX KNLIs+Wx+OzmqhSnSd7svoj4hYA6hhW0tIIPQlDob7BAfbpCGlbmqFMfWBUgRfnAZhHAxc yeOwz7ZFONSO+XsWKyGJWaf2SmZScSEI5199ni6O20mweM9ZwA+KPrAf76z37/1pWbgF5z OuM3YUUYywaO2BHo45dYHGuPxNGIiPb0TMmWdeQsO0dKStrds23xQNHB/3/n74jK5rR0uV nltgdjABRJchNWmAoO3O5qzQZVpxF6hVSSGxmTmwlE/fkjDJNi/nQ6QDl5Ldwg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1676984065; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post; bh=im7nWilU7Y5ZQULOpHBXVtx152gfChm+dmxvT40fqBY=; b=hTY1FifQICPtV0LYsUq06lyeWJq4ObysDaJrue6arfU4TjXcewNkOAzFJci/47/qznn3hv NfhJimVJfkYLjlCrrgYZPUT9cgzDwBrqj+ylI0ngkIGRP+H1P1JTSkT8uXYMAY7BeZZsLB B4vnArU17c4w6TpIcJ6PTl4UmH2y1VrRHuZ1rDLtu4OHLjCniRtrn0qp6wxjcxXp9LKWOR Tu+9PoCW61yNi72iW8+X5ej0bRKCU/ct9APAZOLM+Yi1oI7ex3M8XkrsdSfjwTS7nivFwW MHem85bmJiMwPE3R/jof/6xZG6/rLPLhkV+lOfWQ92ZeBkrDqX3vol/ZRy2U3Q== X-Migadu-Spam-Score: -5.45 X-Spam-Score: -5.45 Authentication-Results: aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none X-Migadu-Queue-Id: A15D5B2C5 X-Migadu-Scanner: scn1.migadu.com X-TUID: 7QnadZiSqQXg --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Liliana Marie Prikler writes: >> =C2=A0gnu/packages/maths.scm | 8 ++++++++ >> =C2=A01 file changed, 8 insertions(+) >>=20 >> diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm >> index 1e40be8722..67634990ae 100644 >> --- a/gnu/packages/maths.scm >> +++ b/gnu/packages/maths.scm >> @@ -2703,12 +2703,20 @@ (define-public python-clingo >> =C2=A0=C2=A0 (package >> =C2=A0=C2=A0=C2=A0=C2=A0 (inherit clingo) >> =C2=A0=C2=A0=C2=A0=C2=A0 (name "python-clingo") >> +=C2=A0=C2=A0=C2=A0 (version (package-version clingo)) ;Fix error: inval= id G- >> expression #$version > Reworded slightly and pushed (it's a hotfix and CI succeeds). Closing accordingly. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQKlBAEBCgCPFiEEPonu50WOcg2XVOCyXiijOwuE9XcFAmP0vr9fFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDNF ODlFRUU3NDU4RTcyMEQ5NzU0RTBCMjVFMjhBMzNCMEI4NEY1NzcRHG1haWxAY2Jh aW5lcy5uZXQACgkQXiijOwuE9XdzAxAAjwp91512AU6BNErireHGV3XSr0A38vBi d3KT26KtJArJn29wcbMX4uj3gIwjZOnVaTz3MT8rZG/5oA+2PElLBOG2d35upFW7 A7nyWEpP5sQBSipeejqamZvj7AzYvEukUkKA9N6qwp64uhVgfPKI3IYsVatQI+vH CU+UwDN/Hur32nWySS8FpIucHVof0RFZEtel+NaR0nxC3QbMBmcfS3bu5pAI9N4I AqKJt9TQp4cpiSYGlEl+JNlhFlzHj8jtQq4SbnCKD6fSU6BmAFabVGh+HlahoVP+ 4lcamTel9rQNRsJFFf/rYcWAVRkFDb7/XX8pGIGjb7F2tVUbcdcZZ2u+a2I+zXSt j3k1wraNiGPxTNJj54fYYr/RyWq4OswFYzpYIF5TKZ9581nC4nLsF75IkXLokXYF gPVyHWZgnyVtYBkvCpiaNAyVnVrNuaoDMgro8YWZ9fCSLGtvlK1NvY8S7BGfGkDk hidxUefMMUwU46bmqY7qx6dvsRFnQUCl4DeUW2yB3lpyTTJtHojDBAp20LxTzGMR zhvqs3t7LqokY7CFrXVNZhs9ofUMlDdFIC7i9NDpy2pT0yLjRxTHzi7vrOfOvFvP LDlLadLxaRd/tn4F4SO5gjXpAc60E2ux6o80GBi/xlQ8Qr3xSIuIOEQax1i3h0R8 SV+Z4V8h4VM= =EFWV -----END PGP SIGNATURE----- --=-=-=--