From unknown Sat Jun 21 03:21:19 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#74601 <74601@debbugs.gnu.org> To: bug#74601 <74601@debbugs.gnu.org> Subject: Status: [PATCH 0/3] Update clinguin to 2.1.1 Reply-To: bug#74601 <74601@debbugs.gnu.org> Date: Sat, 21 Jun 2025 10:21:19 +0000 retitle 74601 [PATCH 0/3] Update clinguin to 2.1.1 reassign 74601 guix-patches submitter 74601 Liliana Marie Prikler severity 74601 normal tag 74601 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 29 04:45:10 2024 Received: (at submit) by debbugs.gnu.org; 29 Nov 2024 09:45:10 +0000 Received: from localhost ([127.0.0.1]:41149 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tGxYk-00069q-7y for submit@debbugs.gnu.org; Fri, 29 Nov 2024 04:45:10 -0500 Received: from lists.gnu.org ([209.51.188.17]:33500) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tGxYi-00067K-W4 for submit@debbugs.gnu.org; Fri, 29 Nov 2024 04:45:09 -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 1tGxYh-0001nj-J0 for guix-patches@gnu.org; Fri, 29 Nov 2024 04:45:07 -0500 Received: from mail-wm1-x344.google.com ([2a00:1450:4864:20::344]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tGxYf-0006IJ-Nn for guix-patches@gnu.org; Fri, 29 Nov 2024 04:45:06 -0500 Received: by mail-wm1-x344.google.com with SMTP id 5b1f17b1804b1-434a852bb6eso15153565e9.3 for ; Fri, 29 Nov 2024 01:45:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1732873504; x=1733478304; darn=gnu.org; h=to:content-transfer-encoding:mime-version:subject:date:from :message-id:from:to:cc:subject:date:message-id:reply-to; bh=g4JBEff40DLrTIxTRe/DByBQRVo6QHMSaN1nOS76/wU=; b=h8//YXNhcBk4/e5iT2vVqQHzuLR680KAGC7kDNtsB8m55LHTMQVKYIGELkC8NDRBfi rna2rrh+T995UxGOKCiQBQ20Oygyj28Iz0NZLpZ24nXfwhNk9fOW58RSICi3FDhjb/zL TwfR2iQZRfpbKc6Yvp4dBA6zthEa6TNTvI0Anoq23Hw6d90OJUf7+JVI4MFJ1Em9dxiJ 4aoDqlzf3PY6agjnEQJHvhZ0YGXKsqxmmPOlE5wBL8R1AaUy20+AXzGN3sJ5dDs9TDZq FQ0p9/7UvCwn/CvaT92USRVdTvn0phCx0FiFNEKk4hEmqfqIClgZWE4tIAWZs1sCXFHp T5LQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1732873504; x=1733478304; h=to:content-transfer-encoding:mime-version:subject:date:from :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=g4JBEff40DLrTIxTRe/DByBQRVo6QHMSaN1nOS76/wU=; b=LlrOwTwqoDVFN9CEZ+LXVIndBpozspxphRwZmlFv0OTU2XbJgXULICwfB6oh42OnjU o0YykhkTRQ/lJpjbPB6u2vCGepAtf2B+f8GhvGU+sIATC1ZN1qaU00aloPnzrH8pR901 kM6U9Z6KMp+4AmbJfYcnqr3U8ggo6x3dT59sAK4OrNCyEzksWFxW7gUK80238KKc4mJ5 SdySWYz5CUjPu0yYxnjnyXWDC9JaY6VqbMsJ+8zQzzd0v2Wgp9HaHAssRp1dMeso7XjO mPv005frhjXT7ZxJxBjMShdoKb5qGsD/SlHBWNqeM+cXFheLR3Z4/MydSGuFUBYo332d S9Yg== X-Gm-Message-State: AOJu0YzI9DTqKdK88FwNrZuHe1Xck80E6ur7e6MIvm3pB4TiqTC8gDwS Lzy6jkgMj3EkLbZPFpCMIBchlgoo5bPX0d0oluzBkfVcynx/kas2e5bwYLZi X-Gm-Gg: ASbGncuPYgGzHFeE7GW2LdXwGL5/DC0rtZj8BHFi9abtxDL4XR61TRafgu/8z7Q5cfx 9yJ9YsRgx9JGkR8dRCn5fyECd2366ntUjCaipFu1s6ey1ohs3w9YzpamJWcU4JXUPbfwnX64T4x 0Nhb4mDtQKMFRv0W28DFUXtHLkFT9XomMk2WZBc5ePHgFnS2Pt1hsIdzaXMrPccYVRfaGwUuBdM YJTqL9I/Pp6xEvZ1wzAuRsJMnOlbgehw0ACHJOzgn6s+GuEvNUCYnp3Ad4HA1pjItvLoIcs+I5z 2an6dtiIoEs77546Pqv78szlNw== X-Google-Smtp-Source: AGHT+IExQbpJdOBjNNu2ofEgfnhIsvhilaYKZdidkmmBGz//xeRxvZkanDzIRdxHXFJP0TfRalxzIg== X-Received: by 2002:a05:600c:1e06:b0:42c:b187:bde9 with SMTP id 5b1f17b1804b1-434a9e0bc3fmr105910115e9.30.1732873503692; Fri, 29 Nov 2024 01:45:03 -0800 (PST) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-434aa7d21bcsm80158375e9.30.2024.11.29.01.45.03 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 29 Nov 2024 01:45:03 -0800 (PST) Message-ID: From: Liliana Marie Prikler Date: Fri, 29 Nov 2024 10:44:01 +0100 Subject: [PATCH 0/3] Update clinguin to 2.1.1 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit to: guix-patches@gnu.org Received-SPF: pass client-ip=2a00:1450:4864:20::344; envelope-from=liliana.prikler@gmail.com; helo=mail-wm1-x344.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, MALFORMED_FREEMAIL=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit 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: -0.1 (/) Time flies in Python. When I initially packaged clinguin, it used to be a prerelease, now we have 2.1.1. I tested this on one of their examples, and it works™. Liliana Marie Prikler (3): gnu: Add python-clingexplaid. gnu: python-clinguin: Fix homepage. gnu: python-clinguin: Update to 2.1.1. gnu/packages/potassco.scm | 44 +++++++++++++++++++++++++++++++++++---- 1 file changed, 40 insertions(+), 4 deletions(-) base-commit: f8979b4bcc8772d02640f6f665b4195380d57df9 -- 2.46.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 29 05:33:13 2024 Received: (at 74601) by debbugs.gnu.org; 29 Nov 2024 10:33:13 +0000 Received: from localhost ([127.0.0.1]:41215 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tGyJE-0008R4-Lm for submit@debbugs.gnu.org; Fri, 29 Nov 2024 05:33:12 -0500 Received: from mail-wm1-f65.google.com ([209.85.128.65]:46334) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tGyJB-0008Qo-OQ for 74601@debbugs.gnu.org; Fri, 29 Nov 2024 05:33:10 -0500 Received: by mail-wm1-f65.google.com with SMTP id 5b1f17b1804b1-434a0fd9778so15680295e9.0 for <74601@debbugs.gnu.org>; Fri, 29 Nov 2024 02:33:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1732876329; x=1733481129; darn=debbugs.gnu.org; h=to:content-transfer-encoding:mime-version:subject:date:from :references:in-reply-to:message-id:from:to:cc:subject:date :message-id:reply-to; bh=cEdvl6VFhN76UD2MF3DviQavIo+8nWrXshB0WuVkGYI=; b=jzHxkW50wKvThud/dOLVfoBe+ry80MDRBmAjTs3rF3A+oqn+riBv01WVWxWmSQhDml RzyOYPP5m6J0oHOY/DAXd91Rf26AzxrSX4o8WVnPHQQmNUuCuNrYeXCU43Db/d5Jc1CD 7k7TduOAQdkKCwQn3LenY+AOTmsPF7mM9p4GEcQQBSxVtxAQdp/LhuMPkuGH2VjpVuuG g2gGBoPtFMWTFzMWXigH9ypImX2YA/SIOPm/yrOpY86MwEhkxhhNcesy3TpEJwcnxCsG v1A6KtlFUylrhxjCamgsszuLsbS1uNu1HU9Es0rvOZqR38qmVkgZAZCJ0vDVLD/uSHD6 5z4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1732876329; x=1733481129; h=to:content-transfer-encoding:mime-version:subject:date:from :references:in-reply-to:message-id:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=cEdvl6VFhN76UD2MF3DviQavIo+8nWrXshB0WuVkGYI=; b=E9yr3LdpsLWDIOaRsS+dmtZJ3vA0FuJg5c4/uxdOSp8A7hJVV8HuetoLfPYdp/49/U j4jOTvJwOc21jHbzhLhFCDG/Cb2TGPbPRxkRM9/3xcYbEA854k3aYy4OFghxyDMBV1Xp Xrs15Iewqkpb8Fv9KYAW7TXasxOABw4X6uYxK5l7D5HokLLxkKM3xu9BnZZOCL8Vauj8 RRWc6mV/DU4t1xPHalWrEStu/QinY1fZZivSGZcUNLjUTHSqbhYmgmacIjAhXF5GwCL+ boCyoaUa0vWGxLmpB8k5f6peab7DzWx6tbXyc1TLL2lhNmJ5OIxHsOhz6FBJlu/9hoNY 6vLA== X-Gm-Message-State: AOJu0YwpwLvy2p8FYqU84tClje+s/tw0tZulfDQxIuOVY4vwW6HbzTu1 wYGTsQKdcpx53O0s3WQ14ZEDQUDMrktitwqE/08Utjc7Jv0hOSp93mUX2W7G X-Gm-Gg: ASbGnctD5zIuvLYWwCKeEuXb1ZyrUX0hQAvvcMgvvf7u7rL/Qfl/9vxz9J0ltBMAAWn k7kXJulaLa4Xxk7CbxWzzV3GyVDqszQB3dyCKebyUPmfgPcAlUhMiCCrWRIqQHEL8eAPwCNU2kD ZV4cpj/ePQ8WWD4GmIKxrHAgXO9oK7oROh3LQ73TS2fuMl73khwITG+QYpVsoVK9IfqFrhBHEnw fo6ZfsfTYaKO3zh912mZLD3B2WeDz+IsRdOMaxbaZSPIwcUFI3y5ALZGFQmwpi2pf/gTygXbzPq hpbAlP2C1g1Zeg9TrWG88ITI6g== X-Google-Smtp-Source: AGHT+IG74qxQ515uQPE2wciNr1xgb9Eip2sHQDxdOfSEUI6O2usDGlQIPhpf0o0k+yNeDs5w+q50qw== X-Received: by 2002:a05:600c:4f92:b0:426:66a2:b200 with SMTP id 5b1f17b1804b1-434a9d4f4edmr105062185e9.0.1732876328895; Fri, 29 Nov 2024 02:32:08 -0800 (PST) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-434b0f32589sm49214715e9.28.2024.11.29.02.32.08 for <74601@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 29 Nov 2024 02:32:08 -0800 (PST) Message-ID: <0ff1e6c9886efd1c0e5c4dc2a2667a780b99d987.1732873441.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Fri, 29 Nov 2024 09:51:24 +0100 Subject: [PATCH 2/3] gnu: python-clinguin: Fix homepage. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit to: 74601@debbugs.gnu.org X-Spam-Score: 2.2 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clinguin)[home-page]: Use “https://github.com/potassco/clinguin”. --- gnu/packages/potassco.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 57caf6aabc..a421810067 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -726,7 +726,7 @@ (define-publi [...] Content analysis details: (2.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.65 listed in sa-trusted.bondedsender.org] 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.65 listed in bl.score.senderscore.com] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.128.65 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.128.65 listed in list.dnswl.org] 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service X-Debbugs-Envelope-To: 74601 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: 1.2 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clinguin)[home-page]: Use “https://github.com/potassco/clinguin”. --- gnu/packages/potassco.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 57caf6aabc..a421810067 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -726,7 +726,7 @@ (define-publi [...] Content analysis details: (1.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.65 listed in sa-accredit.habeas.com] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.128.65 listed in list.dnswl.org] 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.65 listed in bl.score.senderscore.com] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.128.65 listed in wl.mailspike.net] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (python-clinguin)[home-page]: Use “https://github.com/potassco/clinguin”. --- gnu/packages/potassco.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 57caf6aabc..a421810067 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -726,7 +726,7 @@ (define-public python-clinguin python-sphinx-rtd-theme python-traitlets python-uvicorn)) - (home-page "https://github.com/potassco/clingraph") + (home-page "https://github.com/potassco/clinguin") (synopsis "Clingo-based interactive UI") (description "Clinguin is a graphical user interface toolkit for clingo, which allows user interfaces to be specified entirely as a logic program.") -- 2.46.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 29 05:33:13 2024 Received: (at 74601) by debbugs.gnu.org; 29 Nov 2024 10:33:13 +0000 Received: from localhost ([127.0.0.1]:41217 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tGyJF-0008R6-1K for submit@debbugs.gnu.org; Fri, 29 Nov 2024 05:33:13 -0500 Received: from mail-wm1-f67.google.com ([209.85.128.67]:44459) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tGyJC-0008Qr-CA for 74601@debbugs.gnu.org; Fri, 29 Nov 2024 05:33:10 -0500 Received: by mail-wm1-f67.google.com with SMTP id 5b1f17b1804b1-434a10588f3so10561845e9.1 for <74601@debbugs.gnu.org>; Fri, 29 Nov 2024 02:33:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1732876330; x=1733481130; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=Z0ljWEARPgeymfqbz+GuHn/f+/TFS5yQOSokM/YnD6U=; b=AuE6oH69Vy0F3TDsi5Ud1a6VZt4IlCMhdzVT16PPi2aTTQe8PL1fKsS5KMasbxa7/A BS721E0IcgwbmVeQZPnMX/ek3gws7xX+kkjVBIQ7ul7o6bH6D6Eb7Js4NAdn6ysJwIk3 htVhw7ezDzeCoUUgtI5zHJne3agy4zW7vEeaVlMy1F9aZD8ol9bIwB9TFHQ+HKqa2b/9 Un3WmXT2o7TgF66r/7tINJKkFZ3maZ19wyNXjHuXUKv0B5aIQeU6pGIZR8vmu1kTz+Fa RZhPdGm9uXTDcKpHVk40/r3kfuXTG9cvmIWey52kt5u91aoEV2uCQlI+yIrNwIMX6NtP i2uQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1732876330; x=1733481130; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=Z0ljWEARPgeymfqbz+GuHn/f+/TFS5yQOSokM/YnD6U=; b=ceumx61AZbrMKmHD2DOWdzvX1bwzLm5gN8fe4BQXwn3/PMMURxdQLnw7EUtjYzF3Zt ipFtrfvLabNSoSSagB5RlGi6audxkfuiX4kNxrudqns3Q7jFYF96aW2TOFkTtkcBpoHN rRARMGpik6sbRmOf0TnLaHoUSRFh87TdiSUL3oiak7O7rWT2+23DBPc0bnUVjSleoOlg v5RYtp+bH2GbVni8/lO2AOKkzknu+qdzcRBf3S/QiG6oqeSBm+y9LGmHuDXKXlO0a3L6 6DDkfZ8B012AHa83UdMxBuj+n7LY9x3tjD+wnOwCYY6fCk1Y3ClLC48uOZ8u03fojEeI ljHA== X-Gm-Message-State: AOJu0YxiS1ZTY9ErA1mnXfAb1ViS6orPUDNpYhz0P0O6c63k0elYXvxx 1dVGM6Rhj436q3oBEa9ReFjbBqK8LOPSIH3/gkecNdFsPVlJxaGxWkrN7Wu6 X-Gm-Gg: ASbGncsAJrpgGI4ZvsFjkR5PBkMdwr4bgHFhlchjquupGH/eiyudtsvadHd+jXumxQ2 NCmJI+jQsgBuWB/8CghtIzESBvjvecsQlTBPijenHSALnh7BV5KeBFGRBbvAE7kvuYI4uSIO+E1 1oQ2mxGFyED7XD1wJdPjYoOuY3bC/pQ/vXz0BPe2EozVZ7c7SqgIhOWB5SzRq3VuJGvAefReUjo oLcjxLSR0JYNdmjt2Gd1x1u4UVtqFCOYYeh2HyxBUX3yayR4y2/jgJ/qFKaViCInMHwPXKSmFmG vuVpB9dBzVMnzhH2I9pMtfkiAA== X-Google-Smtp-Source: AGHT+IGahzTCr7VXGJ+c8bXtak1ldxVwJurKHJY9/olV5p3glDEJMgICnl+6amDWDb0Roi4j49H5UA== X-Received: by 2002:a05:600c:1c18:b0:431:6153:a258 with SMTP id 5b1f17b1804b1-434a9dc3dc3mr104721715e9.13.1732876329564; Fri, 29 Nov 2024 02:32:09 -0800 (PST) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-434b0f32589sm49214715e9.28.2024.11.29.02.32.09 for <74601@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 29 Nov 2024 02:32:09 -0800 (PST) Message-ID: <142bc6d977cfd1a5f3c2bffad0a24fba91b7a5fd.1732873441.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Fri, 29 Nov 2024 09:52:13 +0100 Subject: [PATCH 3/3] gnu: python-clinguin: Update to 2.1.1. to: 74601@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 2.4 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clinguin): Update to 2.1.1. [source]: Adjust snippet accordingly. [inputs]: Add python-clingo-dl and python-clingexplaid. --- gnu/packages/potassco.scm | 9 ++++++-- [...] Content analysis details: (2.4 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.67 listed in sa-accredit.habeas.com] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.67 listed in bl.score.senderscore.com] 0.2 PP_MIME_FAKE_ASCII_TEXT BODY: MIME text/plain claims to be ASCII but isn't -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.128.67 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.128.67 listed in wl.mailspike.net] 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service X-Debbugs-Envelope-To: 74601 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: 1.4 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clinguin): Update to 2.1.1. [source]: Adjust snippet accordingly. [inputs]: Add python-clingo-dl and python-clingexplaid. --- gnu/packages/potassco.scm | 9 ++++++-- [...] Content analysis details: (1.4 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.67 listed in sa-accredit.habeas.com] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.128.67 listed in list.dnswl.org] 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.67 listed in bl.score.senderscore.com] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.128.67 listed in wl.mailspike.net] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record 0.2 PP_MIME_FAKE_ASCII_TEXT BODY: MIME text/plain claims to be ASCII but isn't 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (python-clinguin): Update to 2.1.1. [source]: Adjust snippet accordingly. [inputs]: Add python-clingo-dl and python-clingexplaid. --- gnu/packages/potassco.scm | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index a421810067..c5d00c9b1c 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -690,7 +690,7 @@ (define-public python-clingraph (define-public python-clinguin (package (name "python-clinguin") - (version "1.0.0-beta") + (version "2.1.1") (source (origin (method git-fetch) (uri (git-reference @@ -699,7 +699,7 @@ (define-public python-clinguin (file-name (git-file-name name version)) (sha256 (base32 - "032fnzxv6wl01sdq7n2k0ikajpmkg8ihjh5mck1mwjvmis8z16d4")) + "0wfgrs8h5i5mmd5sbzca2xw57f3d3ni75775wjkaq6sg0zm9sqjs")) (modules '((guix build utils))) (snippet #~(begin @@ -708,11 +708,14 @@ (define-public python-clinguin ;; some typo squatter hosted ;; a package named tk (("tk") "") - (("typing") "typing;python_version<\"3.5\"")))))) + ;; XXX: python-clingo-dl installs clingodl instead… + (("clingo-dl") "clingodl")))))) (build-system pyproject-build-system) (propagated-inputs (list python-clingo + python-clingo-dl python-clorm + python-clingexplaid python-clingraph python-fastapi python-httpx -- 2.46.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 29 05:33:21 2024 Received: (at 74601) by debbugs.gnu.org; 29 Nov 2024 10:33:21 +0000 Received: from localhost ([127.0.0.1]:41220 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tGyJN-0008Rc-CH for submit@debbugs.gnu.org; Fri, 29 Nov 2024 05:33:21 -0500 Received: from mail-wm1-f67.google.com ([209.85.128.67]:46335) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tGyJG-0008Ql-1x for 74601@debbugs.gnu.org; Fri, 29 Nov 2024 05:33:14 -0500 Received: by mail-wm1-f67.google.com with SMTP id 5b1f17b1804b1-434a0fd9778so15680245e9.0 for <74601@debbugs.gnu.org>; Fri, 29 Nov 2024 02:33:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1732876328; x=1733481128; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=ydHuNVYhp3q0ElAiFfRq6RbUlx3gheZ1QHsLn5hsHyk=; b=ARvYrNaa9Cuh2dyfZS6PzTEtfNCmJcQjbQgh2K7HWfIrlwdGhYde396dt/5UZKAfbD OkxUo9EjtdJ8G2dMwCI8H4gxVO24KMfTmU9emWK50bX4bEU/XSvMRLqBVnUS402hjTIN +J6Adgh95f9HvxY189F78CkTBEzvHddEolPa2+VImBcduMt8C66xzeGDBdpRYh/49FoL h9+nTB9PQ6sXa5R0TeOvnwCqN/7bGg571V6z7D7CIs9SD4+MonLGZhw+23fEZ7i6dPTq 47bFJsuyodnOzuTP+bpKr/tqYVYDTYeB1tDJZr/KuuC1o8zZYer/5BdAm4lE4IGdvDpA Ic/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1732876328; x=1733481128; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=ydHuNVYhp3q0ElAiFfRq6RbUlx3gheZ1QHsLn5hsHyk=; b=UOSLb1YPQab2UnDrWrBOO1mHUGBPlbh3VFDzfuM5HvffLyfTjWGZZxF8TPN3DnC11T 8llNaxb7ReAVkBGJh7zHuVNycenZkYaNq72c/mxvAnB3IBIv8zBzhykkRy1ju69Eq9n2 vOQxK0gf/Ljh4Jy9rE0n2w8lj7J4k/WInVr9aOvYQdkTk5L0ewf5kH3Y6IoNLhMvD31P I3qsnfvP8xW40VYU4ILN9bNbcmuWhegj2NmeOugk1jSMhicmYgTuLkJwhlYG8cTokC9j I135ttEMEJtNNdGVqBtZs0oQVSW/wXC4kTLlGPAN0DXRXcBdO8LIka/+2n2R7Z93ansI 2pmA== X-Gm-Message-State: AOJu0YyxOiK9coZzPLZ/69tRB8fvbkRC11o+fb3JdB9itpqAkZN9pKUm q2h5LQ4FclneWfYYW+G/uAWpx4WqUCMPWCggdAtEW4pIkRgvkIx+kLcCuTo2 X-Gm-Gg: ASbGncs0UOc0j/iB3IiQx4MGUKbNj3g36eOBrlEbmFEiFRHG3pJ7Evyckm2NKroJlGg lLHnMRwLzfrnbGySP8si81Q2QTfBwo0hp8pmELPZgHUNrkzuEA/K1VZTnF1cuj8MuDX6Tyllxyx D0Rnc7lHI/AO0cfdDMQO9fZbz0j4vEqlgkp3rFQzotVIPGDPhRYDW4izAHzrV5x7PSRo0Nek/O8 ijAMrgWOahxhgu3DSgh7OaRiBkvZlPhsLGf5oc9sEYYJIw8oUzz5QXVLy6pV0Pu6qmzedJT8DRg xhiLslUSOUzNxyfOnIgO9vtuqQ== X-Google-Smtp-Source: AGHT+IF35EVtphlA7WIGxStBYi+h4SDBVAsSNeZYVmc1ucf6uGjIwe1IZby7K9erCIeXvsQuNTeHTA== X-Received: by 2002:a05:600c:5489:b0:434:a1d3:a306 with SMTP id 5b1f17b1804b1-434a9dbbd25mr95523495e9.5.1732876328213; Fri, 29 Nov 2024 02:32:08 -0800 (PST) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-434b0f32589sm49214715e9.28.2024.11.29.02.32.07 for <74601@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 29 Nov 2024 02:32:07 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Fri, 29 Nov 2024 08:31:31 +0100 Subject: [PATCH 1/3] gnu: Add python-clingexplaid. to: 74601@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 3.3 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clingexplaid): New variable. --- gnu/packages/potassco.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index ec990f1382..57caf6aabc 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -756,3 +756,36 @@ (define-publ [...] Content analysis details: (3.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.67 listed in sa-accredit.habeas.com] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.128.67 listed in list.dnswl.org] 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.67 listed in bl.score.senderscore.com] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.128.67 listed in wl.mailspike.net] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date -0.0 SPF_PASS SPF: sender matches SPF record 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service X-Debbugs-Envelope-To: 74601 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: 2.3 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clingexplaid): New variable. --- gnu/packages/potassco.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index ec990f1382..57caf6aabc 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -756,3 +756,36 @@ (define-publ [...] Content analysis details: (2.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.128.67 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.128.67 listed in wl.mailspike.net] 0.0 RCVD_IN_VALIDITY_CERTIFIED_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.67 listed in sa-accredit.habeas.com] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date -0.0 SPF_PASS SPF: sender matches SPF record 0.0 RCVD_IN_VALIDITY_RPBL_BLOCKED RBL: ADMINISTRATOR NOTICE: The query to Validity was blocked. See https://knowledge.validity.com/hc/en-us/articles/20961730681243 for more information. [209.85.128.67 listed in bl.score.senderscore.com] 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (python-clingexplaid): New variable. --- gnu/packages/potassco.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index ec990f1382..57caf6aabc 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -756,3 +756,36 @@ (define-public python-clintest outcome while solving to abort the search for solutions once the outcome is certain.") (license license:expat))) + +(define-public python-clingexplaid + (package + (name "python-clingexplaid") + (version "1.1.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo-explaid") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1s80cs3clvz26r7cvjprlk6zip7yqswwhzzwmmrv5mf5p89ymrgm")))) + (build-system pyproject-build-system) + (arguments + (list #:test-flags #~(list "-k" "not test_main") + #:phases #~(modify-phases %standard-phases + (add-after 'unpack 'fix-pyproject-toml + (lambda _ + (substitute* "pyproject.toml" + (("dynamic = .*" all) + (string-append "version = \"" + #$version + "\"\n")) + (("\"autoflake\",") ""))))))) + (propagated-inputs (list python-clingo)) + (native-inputs (list python-pytest)) + (home-page "https://github.com/potassco/clingo-explaid") + (synopsis "Develop explanation systems with Clingo") + (description "This package provides tools to develop explanation systems +with clingo. It allows extracting minimal unsatisfiable subsets and +unsatisfiable constraints.") + (license license:expat))) -- 2.46.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Nov 30 15:09:14 2024 Received: (at 74601) by debbugs.gnu.org; 30 Nov 2024 20:09:14 +0000 Received: from localhost ([127.0.0.1]:49230 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tHTmD-0006V1-Rq for submit@debbugs.gnu.org; Sat, 30 Nov 2024 15:09:14 -0500 Received: from mail-wr1-f45.google.com ([209.85.221.45]:57724) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tHTmB-0006Up-Ij for 74601@debbugs.gnu.org; Sat, 30 Nov 2024 15:09:12 -0500 Received: by mail-wr1-f45.google.com with SMTP id ffacd0b85a97d-385df53e559so1309080f8f.3 for <74601@debbugs.gnu.org>; Sat, 30 Nov 2024 12:09:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1732997291; x=1733602091; darn=debbugs.gnu.org; h=mime-version:message-id:date:subject:to:from:from:to:cc:subject :date:message-id:reply-to; bh=qah32CSc59knF6zLDq+u6lKYiUvpyDOsuHLBMWD/rsA=; b=cKFogFrjxguceE52Hjkc1qNS2l8WiRrxNi+WVC4k2hCDyF61yf4BDq9pXwCPvGDW1h J75Nrcw1VJn9s0B7nqabycsxekftD+/cZCaCFZ1rBhDAEgjtMMF2hbljbKyekSeX+tpZ SWaoZwUtUO8MAv7drMu+QDUwXtkzyaLbhVcujzEtxiyb22SWTC6AyO28PCAZzchG/eg8 iVR3sxFm7nAPhy4+iKz64TQR7IkfFWvaowdD9AtIOo5fnkNaKnI63Tc6dUarH4jUodoi KTVK7rnls+8dKGa6K7CBIyrHe2a9zB8978sitoirVDqMxr/3NAaxd7rGC/ikKcdZbBEF iVEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1732997291; x=1733602091; h=mime-version:message-id:date:subject:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=qah32CSc59knF6zLDq+u6lKYiUvpyDOsuHLBMWD/rsA=; b=aVEJU5G2cOOfiN9g7IaP8L/lOzRc5h4SuCDw0pCTfVHI5j+2n6mkHifocrtXRMhBwD hUvFsfNKttXpgXucSCgfF7srHo+uzSTSbWsswdO3ERgKd2yYIh6vjtZoT83A8D4xAgjc sdmTla2gZ+JinqcHlz2AAzum0Q24JPPX15m7Vbcbap0XA0n0uAjvWQgNDB0Vo8Ppr15w SuMgNMqpjr9kk1jRjaXWSfzGCjskVYbQn3RQJKKOiE03otQOrxtud0kTa0QYuObUdi54 IMFe9vG3R/HaeP+zqIBZE3clzNkHGZJultClx8fz/4mD3483+JPco/Ri50Mpxw9mHU/A Gofg== X-Gm-Message-State: AOJu0YwvL1XJ8XQkWTgRHRIi0eTbKpHxGyDqcULWGf6L1GukEtzACAfO UCh7qRSbw7S+WoXS/mhA/yrvoh4+zrUyDmteSdKAlXLidfdRrvlFOhD2Ho+nXQg= X-Gm-Gg: ASbGncujwsH3UiDw7CmpfJYXKnYMeSgvteXzJI4qVqZUAt7DESgTtI8eXlEhXJLUvau TI7zLL7x08HQQ9Euh40W7k71L20gKByhRTBEx91Tbfpu8CLSGdPYu8EZNsC018atyl+bjRrceo8 IXZDLGMKkVFNP0TLq1bOzuESvzu0cUy7KxrbARhvY2E/Ts2+/nE2N0kDgTfoCYVLGP8LoY8Nxhz b+tDht7G7oAgOIQjTzlbxAa030ow8WQyWEX4eGdwoUOQnZ2uErEQXuRaNjkwlOt8ffCNJZb66Ur wL7kRg/X5viCeyMQqfoC9GLMXw== X-Google-Smtp-Source: AGHT+IEzbakwWXCl79Pcih8Uu34AGP+tVdqpo+uQ0H6MrvVBs5WTRdjgWgzKBPIS3zAz+PMe0MHKNg== X-Received: by 2002:a05:6000:4013:b0:385:e374:be1 with SMTP id ffacd0b85a97d-385e3740d45mr3114506f8f.13.1732997290621; Sat, 30 Nov 2024 12:08:10 -0800 (PST) Received: from guxtil (cpc100684-bagu15-2-0-cust967.1-3.cable.virginm.net. [86.8.111.200]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-434aa7d25d1sm126958935e9.31.2024.11.30.12.08.09 for <74601@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 30 Nov 2024 12:08:09 -0800 (PST) From: Sharlatan Hellseher To: 74601@debbugs.gnu.org Subject: [PATCH 0/3] Update clinguin to 2.1.1 Date: Sat, 30 Nov 2024 20:08:08 +0000 Message-ID: <878qt0pjrr.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 74601 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: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hi, The series looks nice and LGFM for me One pick on this: =2D-8<---------------cut here---------------start------------->8--- + (list #:test-flags #~(list "-k" "not test_main") =2D-8<---------------cut here---------------end--------------->8--- May you provide a comment why it's deselected? By the way PiPI https://pypi.org/project/clingexplaid/#files contains tests and set version, so you may reduce package complexity if you pull from there, no need to adjust version in pyproject.toml. =2D- Thanks, Oleg --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEmEeB3micIcJkGAhndtcnv/Ys0rUFAmdLcKgACgkQdtcnv/Ys 0rV51BAAiJs4kx/mBkAK/MQ+XH7cvQ/WCPrIAqpQXJolIYgogcruG1vLtzqH0BZ1 REXQvXoQyBIga7Bd3u65AnSMh1dTfdU0Fj0/BpqCjDlZSrtRAwkUn9LRLGtaD4Z+ LTD8plvGTCJg7vbXJTLPkFO7AHfR4HeQ6v89yc31SBXPnfANzmNcfQ4wL9jXdujK nNS3nINudVhPDrC0rWouMOh4DI0ECZHhEuW+JtPlKHlIPeRvqR33i5HKzYspGIXh x3TEik/V9wEJrUtGn++oL4tP+J81MouEgP5k61LTSHyDpgoPiO1c7F3W60bKjYVx lz9Bd54GcfQtxxnaWurhqGOndDAX9duZyNnZOJe7zWJpmcwmqWudF1b7a/yRx+xb e2Dq8y2TZE5H8SM5J7zpv38inUk5BjeOWZoY3+g4l6tCROpGaMrLQwP+GEWhN7Zj 8JRWYDZQBLL9XYwzEIlDfuNenFZHKbQWmkr1d2hqm9/sgEFs4HWQ8Tx3aDgYBLro QYxyBwn0fE5WVd6ke7ETBQvFDHjkUwE6/yLU8r+dVEd61LyCFEwlf9tB3bFcfDZD 4oDiU1SpHAib3hOupMFXTBEdHy1INXRM948xjetyO7Uhpz1fxuFM42eW/WCoeWUW 73bD/U1jyusV2HeOWJekCNf+pQfTiai3Gn5VlbjRvutvRFhnP3U= =31hp -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sun Dec 08 08:32:28 2024 Received: (at 74601-done) by debbugs.gnu.org; 8 Dec 2024 13:32:28 +0000 Received: from localhost ([127.0.0.1]:50029 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tKHOe-0001Gq-4W for submit@debbugs.gnu.org; Sun, 08 Dec 2024 08:32:28 -0500 Received: from mail-wr1-f65.google.com ([209.85.221.65]:59533) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tKHOa-0001GW-UU for 74601-done@debbugs.gnu.org; Sun, 08 Dec 2024 08:32:25 -0500 Received: by mail-wr1-f65.google.com with SMTP id ffacd0b85a97d-3862df95f92so1596605f8f.2 for <74601-done@debbugs.gnu.org>; Sun, 08 Dec 2024 05:32:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1733664679; x=1734269479; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=Sm/SlAtRfQp6uhHe65YjIC4JtXPGxh1OzHkTRSZeoWk=; b=QhkZZ0vQtPNfu2YuUgZxH2iWeoAFEv4yiV8UtOcjca8lGFia8SA4Qi9QHe0ZyMsGX5 JVfbLLkYBI3e1Ey11BP0KgpfoEXfdRztNX0P/t1n5tUYfAZNZBNnNFhL39mFH5IxdbEO zKXXdhjvdDUb+EnyMzh6PHKxgvVp+vrXlVw1iV8CRiIjrcDdZThgEKVHZG5acK1tUymT wLy+59yfBBUE7zlI2PvLDaSFoyEsTuOMcc0/3Y7Nofn/d/Bn2F4gP99N8zmAlXUtd8aA n3MMBceuwchXkb3Z8wrAaDH+gqkgezb25Z32rTTB7UglIc8kO+77KDyEkZxZ3hgH8SVk 1OMw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1733664679; x=1734269479; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=Sm/SlAtRfQp6uhHe65YjIC4JtXPGxh1OzHkTRSZeoWk=; b=a5AbQOBddOoczQEU8gPpGwgGsWGGHf5EO36tOY3ThPCNF+8jCPJsO+9T2GgtTt1rww G/28vhTZSbOThPPwl8zFa4gnmEJl9Ga2ggZeie4SINwhwkvGk++OMOJqOSwLBTYBhpLI 8qHszaEaDNf+HznNzQUZ9SaLs2Tf67fFG6O++8dIqYE044lXWlffeoFwA1VPMrrM4JQP 7y3AnZEJGzw9RcKFPsIZZE27npccFkGfw7k+XXrwjChiq8WSYpZiWcsnxyqaVzTQphcp OYiv8V2/Itmat8fWBwag+c3SkTwjgrWR2/7cO+P2hE/IBK6qWlVTbQLFUcaaJfmIfflq MKEg== X-Gm-Message-State: AOJu0YxWnuj8ceq++tgyrn4Ya0J8kfLrm3s+ig+mckf8uoFGzGmi/hr0 SZO5/E5+NWLlDeka7DeVF1KaV/CA6i2SmXtLxlAsrPVGZ3Vl1NgG8CmXWILO X-Gm-Gg: ASbGncuBNdc+M56OoNlYnHxsFMiq+KPDfUAS5XJLZOkObH26Sx/h3Vrm5leYtFE8h63 gtGqnE+t4cJDv6EXM6p8NEbOk8xDR0HaJf74jeMLbtYwotCQ8dtto31gEvhwr7EB2BbzabT6g4S 4hHcuB6nBUGQ3HxCX7GrSQA4aKzi/0PBaI4qmDs1S97w0Q1VdHLwbnnw0PsxoFJ6nquieqNuMQo tYs0E+B7Qn0Dut/fdGKTZuJ3Wp1vm0Ox/i6behput9Os3KMS0UmbI6nS68SfrUpaCZY8yP7Lngs QItTU0R/sW/ljW3zJK9+0575CA== X-Google-Smtp-Source: AGHT+IGr9lHxhCo/xE7yR5EO+OK0xAGcI5u1Y8X0CELdTnnY+ALQy+qdF07Q6tMv1/yLQrtKQfaNTA== X-Received: by 2002:a05:6000:2d12:b0:385:faec:d94d with SMTP id ffacd0b85a97d-3862b3e2f99mr5021011f8f.51.1733664678983; Sun, 08 Dec 2024 05:31:18 -0800 (PST) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-386366efb6bsm4265407f8f.51.2024.12.08.05.31.17 for <74601-done@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 08 Dec 2024 05:31:17 -0800 (PST) Message-ID: <87f2933e7d33252b3a2c0d9c510dce4ac3ec434b.camel@gmail.com> Subject: Re: [PATCH 3/3] gnu: python-clinguin: Update to 2.1.1. From: Liliana Marie Prikler To: 74601-done@debbugs.gnu.org Date: Sun, 08 Dec 2024 14:32:03 +0100 In-Reply-To: <142bc6d977cfd1a5f3c2bffad0a24fba91b7a5fd.1732873441.git.liliana.prikler@gmail.com> References: <142bc6d977cfd1a5f3c2bffad0a24fba91b7a5fd.1732873441.git.liliana.prikler@gmail.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.48.4 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 74601-done 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: -1.0 (-) Am Freitag, dem 29.11.2024 um 09:52 +0100 schrieb Liliana Marie Prikler: > * gnu/packages/potassco.scm (python-clinguin): Update to 2.1.1. > [source]: Adjust snippet accordingly. > [inputs]: Add python-clingo-dl and python-clingexplaid. > --- Pushed as a4bdae0f4787a0b7247f7f83d3e73aaae429604a. From unknown Sat Jun 21 03:21:19 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 06 Jan 2025 12:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator