From unknown Sun Jun 15 01:08:40 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78348] [PATCH 0/3] Update Clingo to 5.8.0 Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 10 May 2025 08:12:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 78348 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78348@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17468647172637 (code B ref -1); Sat, 10 May 2025 08:12:01 +0000 Received: (at submit) by debbugs.gnu.org; 10 May 2025 08:11:57 +0000 Received: from localhost ([127.0.0.1]:43470 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uDfJN-0000gS-50 for submit@debbugs.gnu.org; Sat, 10 May 2025 04:11:57 -0400 Received: from lists.gnu.org ([2001:470:142::17]:50060) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uDfJK-0000gE-Ds for submit@debbugs.gnu.org; Sat, 10 May 2025 04:11:54 -0400 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 1uDfJF-0007L4-2V for guix-patches@gnu.org; Sat, 10 May 2025 04:11:49 -0400 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 1uDfJD-0001nX-Jb for guix-patches@gnu.org; Sat, 10 May 2025 04:11:48 -0400 Received: by mail-wm1-x344.google.com with SMTP id 5b1f17b1804b1-43cfe574976so19713625e9.1 for ; Sat, 10 May 2025 01:11:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1746864705; x=1747469505; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=eM4WG+2Rs6RgazYULrJvT7pTi2dQP0ltIdH9sRq2qGk=; b=LN02s/RD84W5tlqjSaOnVSxUp0dkiQiiR4xxKbEeHrut7uknOPH1j5Os4G9TIUkzoX b90N4M9EE+RNQDVTYWE3tlWpd7JN6Ilvf3WdvwMX4RFYgb7ynUu+4U65yJghq4hPJyKl Y+Y0d0+v6Fj4mcto3Vf3TD19++hsWAVQknaRVCN6iNfCiBEgEVWZ9XLO/v1/jxzG0bhG j3uGdKphkyCqWN7HDW4J91Sov/rwRXsTnpCsjnuesqGkqov50vIqo8GYJmUSixVmNZCj PSFJjuqZ0kPItG/6Jq8csqTBqAFNt09oXlDJzVKxCINxiXCicWLBA7yRNItpE7kWIoRp G5NQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1746864705; x=1747469505; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=eM4WG+2Rs6RgazYULrJvT7pTi2dQP0ltIdH9sRq2qGk=; b=t3CdB2limk9fIsEP7adb2OtoELOidYfAGz8CykS51FLIad/wZpNG7FkwbDIkgYcxJP bDMdLLUfypFQWHDvUlAc3wAqcviHM/dQS8/vmWcThholarIQrF1QK+KguINdBC1JnooX ql9NyOD9NpUiMGUV9SyEZ2QyizeSdhkYtJNs8ANXIMpYmDW5q7lR+brL4trU1y6irgz9 xCX3A20RGnltUHME+By5U5wBkP1z2CWEkAwxmRYnbujUTa1yLiJH5UiPnsLwMy0zNPO5 Iywq2r4XeSSStYyDK9MbvvjbrfLWY2oMunHWf37PqjUCdBqTVMthl/aBFT4ZCEW0QPap k4fQ== X-Gm-Message-State: AOJu0YwADhu0gn+eRZHwGMVKldQhrKcdrEwZv2EN+AOizajxfzIkT4QC vTWPHVshlagjitQCCcaQ3uDOhXQFuCaS4WE6VARaQl6uM+bOF4f7LncJ39yv X-Gm-Gg: ASbGncvkeVp1tDiv8k+7rH8VQgC6bR8kg0fCPFPl61y5Um2CPHvVjI1SlCy0g/CQYwr OtqSd0uL45/KbH58ycYoEGZFf6/k3W1hZc0BOhSxtg8Wr7UdbgczsBHpiQ8ODI3duMat0DOW9Hz IhVQLoUEuSg0A0J6ZzzcJWHM1VE0m17IUksAfG27FCxu17yGX4xbjqLMTg8itls8dLdOy+EavRt ec7evuFyWm1dEXtbLWNmeRf3izBQQF5GwyK+dLmHdq/81UYXzQQiGgKRnUQPt9Tv9xIdNcq+QpR 7kDUGDSM0UckFlbdJuZIcXf9L2sGj+MGc2CcWj4e02A4IEzFSTLztjmldNRtWTpCdQN+p8hEcKK UzVTmqxPuhEi2oXkwe60njGEpjp40KT3ATlePQA== X-Google-Smtp-Source: AGHT+IEwXNzNq0w/gK1hbRH4wNxSM0pokN73MTC+WxLe6FiSvyd9wjIOsOhK8Ij6nvkOegLWP/DS7g== X-Received: by 2002:a05:600c:34ce:b0:43c:f4b3:b094 with SMTP id 5b1f17b1804b1-442d6d18c72mr51824065e9.6.1746864705367; Sat, 10 May 2025 01:11:45 -0700 (PDT) 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-3a1f57de0b2sm5760485f8f.19.2025.05.10.01.11.44 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 10 May 2025 01:11:44 -0700 (PDT) Message-ID: From: Liliana Marie Prikler Date: Sat, 10 May 2025 10:10:28 +0200 MIME-Version: 1.0 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: 1 X-Spam_score: 0.1 X-Spam_bar: / X-Spam_report: (0.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=2.158, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_MXG_LOWER_HDR_SPAM=0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 3.1 (+++) 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: Hi Guix, this series updates Clingo to 5.8.0. Dependent packages appear to build, but I haven't done extensive testing on them yet. Cheers Content analysis details: (3.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam 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.1 (++) 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: Hi Guix, this series updates Clingo to 5.8.0. Dependent packages appear to build, but I haven't done extensive testing on them yet. Cheers Content analysis details: (2.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager Hi Guix, this series updates Clingo to 5.8.0. Dependent packages appear to build, but I haven't done extensive testing on them yet. Cheers Liliana Marie Prikler (3): gnu: libpotassco: Update to 0.0-3.2eecf5f. gnu: clasp: Update to 3.4.0. gnu: clingo: Update to 5.8.0. gnu/packages/potassco.scm | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) base-commit: 4dc097364762e680f0be5666fa41704975d5eb31 -- 2.49.0 From unknown Sun Jun 15 01:08:40 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78348] [PATCH 1/3] gnu: libpotassco: Update to 0.0-3.2eecf5f. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 10 May 2025 08:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78348 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78348@debbugs.gnu.org Received: via spool by 78348-submit@debbugs.gnu.org id=B78348.17468650443854 (code B ref 78348); Sat, 10 May 2025 08:18:02 +0000 Received: (at 78348) by debbugs.gnu.org; 10 May 2025 08:17:24 +0000 Received: from localhost ([127.0.0.1]:43508 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uDfOe-000103-6J for submit@debbugs.gnu.org; Sat, 10 May 2025 04:17:24 -0400 Received: from mail-wm1-x344.google.com ([2a00:1450:4864:20::344]:43057) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uDfOb-0000zJ-NE for 78348@debbugs.gnu.org; Sat, 10 May 2025 04:17:22 -0400 Received: by mail-wm1-x344.google.com with SMTP id 5b1f17b1804b1-43cf680d351so22410085e9.0 for <78348@debbugs.gnu.org>; Sat, 10 May 2025 01:17:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1746865036; x=1747469836; 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=wQap2iCFy7XKoS3ZXLXtDSBFmQUzHke9mLmGsYutZtU=; b=OKde5AT7+IZJdB5YvAi4K2SZMRtfmSwdrU3qDjHJqgI3LEC3U/s/59IydQnra/jyme 2p2pEmAKVEkbBp20if2OsC1nlEuSE//uEL6deBkCv6gbugC0Uyrwnop5SMS5sffX1ft4 Lj/qsq3/zHDjSwCe9OR4XaQ0l/sBzQVcmsTyy0aVpkM4epKnaOR6bw3KNIfkS340kUYx gSgwzKmWn21OIirdaVLcyMM8Nd4PdyYOYFNvUJNdlABK1JgJGsdIWsKxPI4C5JFTLBDq 95I58c9aE/wI8RKnOpgn3ZcCYG2A6omvb8PElvddbPqbA1f9UydpeUk+IWJzQ+2C7dCJ F7UA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1746865036; x=1747469836; 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=wQap2iCFy7XKoS3ZXLXtDSBFmQUzHke9mLmGsYutZtU=; b=VZ5TU/dAJ7Oa+lQ+r70TUp6sPlrVk+reW7XpJ1jelqzzHYDCjH+qoF4P2rt026WsBL ZnlcOmjaGhBrJyRLaIg4/AvmG3BPdpvlcqnN7SR/Uz7TS5lf/n09RB8A7SLWkUamIabj iPXN4y378cJ6iViZcPZW1x6/h4Q3sfJNSbMwKNjy2BmRcnyWjfYOqhPSb3b++WxO2CWv ohLYZ3eQNluIyDx1d08X9h6yWdyARwQfkcHUYXRiObkCFaBWOxSccSoVynoEVLlGq+Ae 94qLgno2RbLLqmfQwLHw0kwDvKlYeuzjbIYVeh0slEG2fwiEAjH8n6cnEFz+8pEcgX0d 9vHg== X-Gm-Message-State: AOJu0Yw9YNl86Pz/1WaCOiNxQX/edzqewKDT/xz/SZsd0rqB1olnAQoj 6C6//JufiUuayrC/S0xr6ky9gXSlB9waDOzqn9qBx5UBfV2AJTtUWLD92E2p X-Gm-Gg: ASbGncueb9LYL1fFBFvnh5CsBsc7lUH+nxgSc4XGq+10q1m6rpyWnnRS5tpesJhCxX/ Pqshf09IJ12sycmtZ4vXUjUfdYOxX0p9qMe/296hE+02wltpYd7hINhOjsPwz2GYdpFKxXUP7G7 oybwc01u4CmEUD0EtnxJbvy4dIHw1tk36zsmFBLDZCx1293NroESs9tGtRneGhvUwtD4oxZ2ofi Z5VHXv4pMbHzmWAHB4MLs0sfwdpuPcLNqiGIjffOYwhJHRiqF+gsjhjVyVFNncrrc8BCU7I+29j 1wki/6J+pNBgkCcriOx0xFVFFqFLqRMOwzKBCrjb+BXZEkEraitW5tnlzzWaNsFHvoF2dPT+dmA yi342dPH06XgEtmCyt8yuCnXUQn0= X-Google-Smtp-Source: AGHT+IFpD09zAKna2QgiyUvCsH+rcRhuiNpNtSA2l48l+k/ax+J7zEyRUVShBRNZd6pTTs51Vld4Pw== X-Received: by 2002:a05:6000:144f:b0:39c:30f7:b6ad with SMTP id ffacd0b85a97d-3a1f6c984a1mr5780400f8f.18.1746865035511; Sat, 10 May 2025 01:17:15 -0700 (PDT) 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-3a1f57dde6bsm5761551f8f.13.2025.05.10.01.17.14 for <78348@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 10 May 2025 01:17:15 -0700 (PDT) Message-ID: <9a8b0cc608add498d376b186bcb72addd20a40d7.1746864628.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 10 May 2025 09:06:00 +0200 MIME-Version: 1.0 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 (libpotassco): Update to 0.0-3.2eecf5f. --- gnu/packages/potassco.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 43e56ec8bf6..edc7ac6d66d 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -49,8 +49,8 @@ (define-modul [...] Content analysis details: (2.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 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 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:344 listed in] [list.dnswl.org] 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam 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 (libpotassco): Update to 0.0-3.2eecf5f. --- gnu/packages/potassco.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 43e56ec8bf6..edc7ac6d66d 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -49,8 +49,8 @@ (define-modul [...] Content analysis details: (1.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:344 listed in] [list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 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 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (libpotassco): Update to 0.0-3.2eecf5f. --- gnu/packages/potassco.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 43e56ec8bf6..edc7ac6d66d 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -49,8 +49,8 @@ (define-module (gnu packages potassco) (define-public libpotassco ;; No public release, update together with clasp - (let ((revision "2") - (commit "69b677f026c53d5a0a794db17691a1eb8bce8c6b")) + (let ((revision "3") + (commit "2eecf5f066fe1f77c9122547f7e07ba1e8c1dcdf")) (package (name "libpotassco") (version (git-version "0.0" revision commit)) @@ -68,7 +68,7 @@ (define-public libpotassco (("\"catch.hpp\"") "")))) (sha256 (base32 - "1c69njg30dha1zy6j17gghjg3lgambz0pipxkgxadmrkvsb20z2k")))) + "0l502qcpwnnpa84hg7vynicpqp3mvivw150jlywqdp1g1irwnh7j")))) (arguments `(#:configure-flags '("-DLIB_POTASSCO_BUILD_TESTS=on" "-DLIB_POTASSCO_INSTALL_LIB=on" -- 2.49.0 From unknown Sun Jun 15 01:08:40 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78348] [PATCH 2/3] gnu: clasp: Update to 3.4.0. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 10 May 2025 08:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78348 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78348@debbugs.gnu.org Received: via spool by 78348-submit@debbugs.gnu.org id=B78348.17468650443861 (code B ref 78348); Sat, 10 May 2025 08:18:02 +0000 Received: (at 78348) by debbugs.gnu.org; 10 May 2025 08:17:24 +0000 Received: from localhost ([127.0.0.1]:43510 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uDfOe-000108-Hx for submit@debbugs.gnu.org; Sat, 10 May 2025 04:17:24 -0400 Received: from mail-wr1-x444.google.com ([2a00:1450:4864:20::444]:55347) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uDfOc-0000zO-FW for 78348@debbugs.gnu.org; Sat, 10 May 2025 04:17:22 -0400 Received: by mail-wr1-x444.google.com with SMTP id ffacd0b85a97d-3a0b135d18eso1622617f8f.2 for <78348@debbugs.gnu.org>; Sat, 10 May 2025 01:17:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1746865036; x=1747469836; 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=xBumqHGXDxsMwLfEZO9hceOUCjHQQYspeBZyzPN78kQ=; b=e7NlFp2m5WxKOAtwKtcqIvzp6Ok7q4AZEmziVx/BXuQr9N11n8abgjhxWnlgl3xHax dlkqD4VgAd61mShjmCS9TL05W0vquMm0hyEqe3sdJyTvSrIcmClgSFWs0OIpsApJQH+i jAjM+Uk1C8LjOacj6lRgq9h30sAgPFt0Yg1d6ZFjbLmv9SCs+MId/zdIuQJdy8M+T3OW JFdWctDHwsdcmDEVjdvimg4cMW3HI06DHS0cYK0qZdOyzn5e/Ac+K5IjLVaZfkko5K+/ l17TXUsj+F+5Pdrlx9An+8W8L9TxjRFmXR/aJ+A8Oo79x+BMr9Ata7qo47qr5wLgTaG2 rHTw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1746865036; x=1747469836; 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=xBumqHGXDxsMwLfEZO9hceOUCjHQQYspeBZyzPN78kQ=; b=Q4fSNmQtdvAuE7KCOmnR72vxeFVqyp1Ynmi6FVJ4+CFf/nh1h58yb7e/HrP7flgKXv D/fwjQLiQMv2KubYOJhP6FcXeTJCsV7eRey8y7tKnVSY6F1/DAyfh8a63F0dqmP99ZCQ fNsT5Wbx4WEpwrY0bnetgVZFjuer4AIAtcrILP6WFI+2r0TrBqv9jYtIqyKCVV4xTHyp a2Mr3yUB7yLyA64aGBfkQ7nuGMPt4aoe7g4nr4RBUVHin9IC0NgAxa3px7GN7N7W+ft9 6Afd4RJzbtsnNeHr7Z8aMbSyZg0murATII2tMf7cHlKcAWspYNYIpYfLtwRxgN8k5r6G mElQ== X-Gm-Message-State: AOJu0YxhRXvDQ2rxwGzhUIfq2i4j3Pi2i5bARvQ1RTaP+8FdSZ5xg8cW s2LNgZjPAwO7h9WdBvipv/GZzfdnh4z13WeYs7giNw56fAqYfMg8JRMG1Nj8 X-Gm-Gg: ASbGncsJ7sjmoHF2FaBi5QRLgHEuVcm2MwvJU6nGMBUe04FqCzqr/LYiu+N4geWJ1pq VvOH/qSp1JYiz799vls6SkmYSXGQ6tnB3bkoY5kcJV+X8+TwjdwSH9yA6GYt1jAXiV42IFc+anT kJVQXgDbS9PjeEVp3hJHAfOzrCCN0zLkFcVsEz3VR13mNibIlDR+M6nkjNM8Joe9UobfLgi1OF6 rf9TUaxnHGyf0pXXGrmv99POYdhD39kDzCbXU9vkcAimT4NLcFutczBRvtd755yIfVR8gDxop/S EPTkNynXnnwHinoUijTOfi/dTIvovduJtqEzVvuYkSLNMY/ATefxUYtXXIcAnYikEKVY9xcQe23 473OjcQeSgl2tUW6sPrRp+rD7lC4= X-Google-Smtp-Source: AGHT+IGB1bZWny3y+hTRR73zpG1qXZ5zaC0s6qUMI/Cw7DbiKRG1/5yHePAV0H8vjIQT0anYtwErBA== X-Received: by 2002:a05:6000:e81:b0:3a1:f6fd:89da with SMTP id ffacd0b85a97d-3a1f6fd8a78mr4482491f8f.31.1746865036208; Sat, 10 May 2025 01:17:16 -0700 (PDT) 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-3a1f57dde6bsm5761551f8f.13.2025.05.10.01.17.15 for <78348@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 10 May 2025 01:17:15 -0700 (PDT) Message-ID: <935966e45950a00c9552a84ac2ca7429f459984c.1746864628.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 10 May 2025 09:06:18 +0200 MIME-Version: 1.0 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 (clasp): Update to 3.4.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index edc7ac6d66d..282b15a2329 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -106,7 +106,7 @@ (define-pub [...] Content analysis details: (2.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 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 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:444 listed in] [list.dnswl.org] 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam 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 (clasp): Update to 3.4.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index edc7ac6d66d..282b15a2329 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -106,7 +106,7 @@ (define-pub [...] Content analysis details: (1.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:444 listed in] [list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 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 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (clasp): Update to 3.4.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index edc7ac6d66d..282b15a2329 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -106,7 +106,7 @@ (define-public libpotassco (define-public clasp (package (name "clasp") - (version "3.3.10") + (version "3.4.0") (source (origin (method git-fetch) (uri (git-reference @@ -116,7 +116,7 @@ (define-public clasp (patches (search-patches "clasp-hide-event-ids.patch")) (sha256 (base32 - "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr")))) + "0sid9wks19h5slrpkm8qw0gsxlyq1g2vf4aznqapr777rws9d9b6")))) (build-system cmake-build-system) (arguments `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" -- 2.49.0 From unknown Sun Jun 15 01:08:40 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#78348] [PATCH 3/3] gnu: clingo: Update to 5.8.0. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 10 May 2025 08:18:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 78348 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 78348@debbugs.gnu.org Received: via spool by 78348-submit@debbugs.gnu.org id=B78348.17468650513879 (code B ref 78348); Sat, 10 May 2025 08:18:03 +0000 Received: (at 78348) by debbugs.gnu.org; 10 May 2025 08:17:31 +0000 Received: from localhost ([127.0.0.1]:43513 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uDfOk-00010V-Ud for submit@debbugs.gnu.org; Sat, 10 May 2025 04:17:31 -0400 Received: from mail-wr1-x443.google.com ([2a00:1450:4864:20::443]:42133) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uDfOd-0000zY-18 for 78348@debbugs.gnu.org; Sat, 10 May 2025 04:17:23 -0400 Received: by mail-wr1-x443.google.com with SMTP id ffacd0b85a97d-3a0b9303998so1441397f8f.0 for <78348@debbugs.gnu.org>; Sat, 10 May 2025 01:17:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1746865037; x=1747469837; 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=47hY5uYStt+JN+TG/u1HAriC02agunnZggGI62PlaGA=; b=b/Wy8cdoJDwj1L0QgfrjUdNiwa9Oh4cNNxEgvLEdsb8SdCZ7+lqZ6PrQClh6jWVnbq T6k0sCNFzetAeiVYnwNvzxJ7gTpe1glp+YhbTOdfu8Cyd0mYovmUWYrLwf2X8CmOZx5A MED481HOv5Y5/WCy2pEydCpuFEoOb6ZzCSl3OpGzxKFY+cmpo+QeuwCR1gVoXDLKfPPw gY2qsv1lZUmePtdOpAxc4UI94QnZGu2WAXx+0ssh6SWRNOx6k2kxwtppes7MJeYv4iLp qs88Z7rO5AW6u4q9eo/Uq8TWP7HR1uyv/kqQ5Ej3yUB5LASQjOwCSDslt9T85jsvGfIt 9rMA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1746865037; x=1747469837; 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=47hY5uYStt+JN+TG/u1HAriC02agunnZggGI62PlaGA=; b=al9+gVhd2FprgH1zXrVxWDxWkKB89NKjpJlggnaA+GAEJiYTzjEjaZn4KJ3dYLQh+X sDT6f3B0Q8BrDRML/6SFXtSC2/4ajmuyJTWUtLUVgZHZqSw6fmAHUFYiDzPIkds5JwHm RGVEY/b6tD2n/DFYbXAriSFBgD2UTV+4Uy9i9NCZkLhtGymHYm4aYauJ0K3TJ8+lIcJc rVvsM/5MSmUFCa72ufTelDss9DkDnDqs/4wc9qxYy1Je3EKjAA8nqEmJIqF6q5wW05d3 4dE+HZRpXBMJuiapsplz+xjXocU+vXgYM2Ly06wmBfdJF4ip4N/g2QtP1u+bdO+6wPas j30Q== X-Gm-Message-State: AOJu0YysPhyOKqKmI5nsKnosaE+9lsIB/bjI29qLi+GlVgQPV4TnMCTV L8+3nA7ylS0zZiM8iTh45B1C/xl8lc1l+SUua9TAXR1OVYW8HJOd4b8AnmQ5 X-Gm-Gg: ASbGncucav9LBifT5TWg6UWbDS3lUUp0H/bEPsBVWVQ//huYx80YptemzLK8XtFOQ5V mT+mIIwdj1M/3JhXG6wwALdy0QoYNN5F1FN0DZy+9wXA3XzHchjqnYVn7+gRJINNCWCjQP4AqEr FcYWrKcYWdoka73HsGGFVoyDKg8XBsyS4p5Vk5a02U3CIgiEZnVdpdHBnUgjjorgfjg8l+HC5a9 RzBs50hgwaX5/MwmlfvC1QDxy53DTCA2f1GHIvOzM/aVau2CmIuqLJrWOR0JFHIWGnC54ymIKOE ksnFM2Wijkb8VoGB98NGJat8xmv+IX+BeTJBjFbNqQXqQ7OH0y+ICjk2WOXiD8554PET+lqDCmr wG/HWu5W6F3EWhjAfavuxsRZavCk= X-Google-Smtp-Source: AGHT+IFrk8KzxEgMLd6vpl27PXr8q6buhoQFQpq/os6TK/UI33T5peSqCJ383YIbEjooEYZ6k+n0Ww== X-Received: by 2002:a05:6000:2dc3:b0:391:1218:d5f4 with SMTP id ffacd0b85a97d-3a1f6c98496mr5258690f8f.23.1746865036854; Sat, 10 May 2025 01:17:16 -0700 (PDT) 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-3a1f57dde6bsm5761551f8f.13.2025.05.10.01.17.16 for <78348@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 10 May 2025 01:17:16 -0700 (PDT) Message-ID: <5ec68bedffe759ffde731d06283e256cc60d6a29.1746864628.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 10 May 2025 09:06:26 +0200 MIME-Version: 1.0 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 (clingo): Update to 5.8.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 282b15a2329..9c6f42bdec6 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -150,7 +150,7 @@ (define-pub [...] Content analysis details: (2.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 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 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:443 listed in] [list.dnswl.org] 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam 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 (clingo): Update to 5.8.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 282b15a2329..9c6f42bdec6 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -150,7 +150,7 @@ (define-pub [...] Content analysis details: (1.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:443 listed in] [list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 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 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (clingo): Update to 5.8.0. --- gnu/packages/potassco.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 282b15a2329..9c6f42bdec6 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -150,7 +150,7 @@ (define-public clasp (define-public clingo (package (name "clingo") - (version "5.7.1") + (version "5.8.0") (source (origin (method git-fetch) (uri (git-reference @@ -166,7 +166,7 @@ (define-public clingo (delete-file "libpyclingo/_clingo.c"))) (sha256 (base32 - "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb")))) + "08jpjz2fgq59d78xpwq03dxrdcxwzf5z6crqwn6qdarb0wcdc5sn")))) (build-system cmake-build-system) (arguments (list -- 2.49.0 From unknown Sun Jun 15 01:08:40 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Liliana Marie Prikler Subject: bug#78348: closed (Re: [PATCH 3/3] gnu: clingo: Update to 5.8.0.) Message-ID: References: X-Gnu-PR-Message: they-closed 78348 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 78348@debbugs.gnu.org Date: Sat, 17 May 2025 11:45:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1747482302-27062-1" This is a multi-part message in MIME format... ------------=_1747482302-27062-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #78348: [PATCH 0/3] Update Clingo to 5.8.0 which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 78348@debbugs.gnu.org. --=20 78348: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D78348 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1747482302-27062-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 78348-done) by debbugs.gnu.org; 17 May 2025 11:44:58 +0000 Received: from localhost ([127.0.0.1]:46804 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uGFyM-000722-0f for submit@debbugs.gnu.org; Sat, 17 May 2025 07:44:58 -0400 Received: from mail-wm1-x344.google.com ([2a00:1450:4864:20::344]:56582) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uGFyJ-00071g-0J for 78348-done@debbugs.gnu.org; Sat, 17 May 2025 07:44:55 -0400 Received: by mail-wm1-x344.google.com with SMTP id 5b1f17b1804b1-43edecbfb94so31567805e9.1 for <78348-done@debbugs.gnu.org>; Sat, 17 May 2025 04:44:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1747482289; x=1748087089; 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=xDnY8O5CrdhP9fjWjIzFMMit2hEFo+RGOsSYEVp/cuo=; b=AbhV42nPkaaKDYGtgfWCxphToxSkSpRMhaukVMvDmjkUIaAG+wbYbIxPKWeT59Pc+A BeOGgNRYAwXLVzHTq98fv1alWe+5e9l+K7YugXdqDm390U6TIVMXiU1WKL96am/nT9Nn ICsHUMvQNvC0Cd0W2xTmJj3mKs9KBL6hb1+GucJPva5ueJPd39NxPEwMwmODVNL6C+Il NHGifmX72WSLZVl2eWyMuqDSHyrKw0Tl0eQmcLESBDE1ow/zrAbeuW32H75ViMGfp/jV Gmkv8B0ihkgi7C+tM4PPGI/RrUmvdgWX49Nk6Swk4r92SoS/K7XFGGxZlT1Fm6A6tPJN SE/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1747482289; x=1748087089; 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=xDnY8O5CrdhP9fjWjIzFMMit2hEFo+RGOsSYEVp/cuo=; b=vzBzWmFJzqUafr8yGotYiMaaC9tJXW82QZShDN1CpQNvKNgrK/OQ/J2L6M1hKNT/K4 IHWCSEdI2Iv+Pb0gfG4dwKIGPzfATMXSDCxQhZbKpvb+879mheJyOH4kfuJ7LMx8RDeU r7lewaG8Zhgu9u6TqsFiPm/TB2ELDneMn3XWH/AzX9Wbyg9894zwrFy+8742FGGRqv9b Z5SfHSNvSVzHgtkb0n70YrBp+z+vElVuwcTbffH4D/SJzU3jn4Jncl9qdzl4xvxcxPzV t+7235pvEfiP3QBlZojdAcO2i5bjlTXIdwucoUY5ehu8pryckYyGwXXD9w7BqOWGDq7c wWIg== X-Gm-Message-State: AOJu0Yw6RQqy67nqvqzTF5P2BGyFsI0AevqUIMJXNOKitBwrk5zQutES 2cENd+RBR9BJpS+W07rclg9bYHqRuiUyy1UlNmyYELJtguvaqBhvoTwuQAPyJ6D7 X-Gm-Gg: ASbGncvYnJl3lP4dAOerXfn94QjNm6jLFvnNaO7YM3ohN5XPasSPQhWJ/Axfol5VpL2 1ZyiR/sI8Bd93eD3DJYtMzv9hdjiJV2bH1YwJ5KiEtV7X36kBXmbI9AJp3csy41TS8HUst0dkc3 qaBGCVVEhQ5Xor1kzKH2luohHU82Bjfa1tDopcXJC8jfEqAd4BF4Fhrf5QgEuhavnXtbIxrcj6O d8ws0zKw95gidZJjCx0PCjcrh8SU+FhZeeN5FJnHZUQ6Lb2cYIebi3JHrCFWrbIyX2z5058GSa5 /J9tDoIKTyIoELiSNztKsO/F1pAi8/npGOAaNRAxtixeuaooL+UOxpN2iiB1IH5C9/Opi50non0 xqtgdAfMw+vhbOTbkraxfcSYf8VE= X-Google-Smtp-Source: AGHT+IGUSA2BJhjuV8MIMcArnDGgJm7/su6Bl5dYjNUuTNQreetUnYqkoz4pZj/d2RLHowbhoxRQPA== X-Received: by 2002:a05:600c:6748:b0:442:f44f:654 with SMTP id 5b1f17b1804b1-442fd672516mr56998045e9.33.1747482288560; Sat, 17 May 2025 04:44:48 -0700 (PDT) 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-442fd59704esm67920655e9.36.2025.05.17.04.44.47 for <78348-done@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 17 May 2025 04:44:48 -0700 (PDT) Message-ID: Subject: Re: [PATCH 3/3] gnu: clingo: Update to 5.8.0. From: Liliana Marie Prikler To: 78348-done@debbugs.gnu.org Date: Sat, 17 May 2025 13:44:47 +0200 In-Reply-To: <5ec68bedffe759ffde731d06283e256cc60d6a29.1746864628.git.liliana.prikler@gmail.com> References: <5ec68bedffe759ffde731d06283e256cc60d6a29.1746864628.git.liliana.prikler@gmail.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.54.3 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78348-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 Samstag, dem 10.05.2025 um 09:06 +0200 schrieb Liliana Marie Prikler: > * gnu/packages/potassco.scm (clingo): Update to 5.8.0. > --- Pushed as 9f3d8dbda60bb1dd15d2956c334354947df8b3f5. ------------=_1747482302-27062-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 10 May 2025 08:11:57 +0000 Received: from localhost ([127.0.0.1]:43470 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uDfJN-0000gS-50 for submit@debbugs.gnu.org; Sat, 10 May 2025 04:11:57 -0400 Received: from lists.gnu.org ([2001:470:142::17]:50060) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uDfJK-0000gE-Ds for submit@debbugs.gnu.org; Sat, 10 May 2025 04:11:54 -0400 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 1uDfJF-0007L4-2V for guix-patches@gnu.org; Sat, 10 May 2025 04:11:49 -0400 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 1uDfJD-0001nX-Jb for guix-patches@gnu.org; Sat, 10 May 2025 04:11:48 -0400 Received: by mail-wm1-x344.google.com with SMTP id 5b1f17b1804b1-43cfe574976so19713625e9.1 for ; Sat, 10 May 2025 01:11:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1746864705; x=1747469505; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=eM4WG+2Rs6RgazYULrJvT7pTi2dQP0ltIdH9sRq2qGk=; b=LN02s/RD84W5tlqjSaOnVSxUp0dkiQiiR4xxKbEeHrut7uknOPH1j5Os4G9TIUkzoX b90N4M9EE+RNQDVTYWE3tlWpd7JN6Ilvf3WdvwMX4RFYgb7ynUu+4U65yJghq4hPJyKl Y+Y0d0+v6Fj4mcto3Vf3TD19++hsWAVQknaRVCN6iNfCiBEgEVWZ9XLO/v1/jxzG0bhG j3uGdKphkyCqWN7HDW4J91Sov/rwRXsTnpCsjnuesqGkqov50vIqo8GYJmUSixVmNZCj PSFJjuqZ0kPItG/6Jq8csqTBqAFNt09oXlDJzVKxCINxiXCicWLBA7yRNItpE7kWIoRp G5NQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1746864705; x=1747469505; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=eM4WG+2Rs6RgazYULrJvT7pTi2dQP0ltIdH9sRq2qGk=; b=t3CdB2limk9fIsEP7adb2OtoELOidYfAGz8CykS51FLIad/wZpNG7FkwbDIkgYcxJP bDMdLLUfypFQWHDvUlAc3wAqcviHM/dQS8/vmWcThholarIQrF1QK+KguINdBC1JnooX ql9NyOD9NpUiMGUV9SyEZ2QyizeSdhkYtJNs8ANXIMpYmDW5q7lR+brL4trU1y6irgz9 xCX3A20RGnltUHME+By5U5wBkP1z2CWEkAwxmRYnbujUTa1yLiJH5UiPnsLwMy0zNPO5 Iywq2r4XeSSStYyDK9MbvvjbrfLWY2oMunHWf37PqjUCdBqTVMthl/aBFT4ZCEW0QPap k4fQ== X-Gm-Message-State: AOJu0YwADhu0gn+eRZHwGMVKldQhrKcdrEwZv2EN+AOizajxfzIkT4QC vTWPHVshlagjitQCCcaQ3uDOhXQFuCaS4WE6VARaQl6uM+bOF4f7LncJ39yv X-Gm-Gg: ASbGncvkeVp1tDiv8k+7rH8VQgC6bR8kg0fCPFPl61y5Um2CPHvVjI1SlCy0g/CQYwr OtqSd0uL45/KbH58ycYoEGZFf6/k3W1hZc0BOhSxtg8Wr7UdbgczsBHpiQ8ODI3duMat0DOW9Hz IhVQLoUEuSg0A0J6ZzzcJWHM1VE0m17IUksAfG27FCxu17yGX4xbjqLMTg8itls8dLdOy+EavRt ec7evuFyWm1dEXtbLWNmeRf3izBQQF5GwyK+dLmHdq/81UYXzQQiGgKRnUQPt9Tv9xIdNcq+QpR 7kDUGDSM0UckFlbdJuZIcXf9L2sGj+MGc2CcWj4e02A4IEzFSTLztjmldNRtWTpCdQN+p8hEcKK UzVTmqxPuhEi2oXkwe60njGEpjp40KT3ATlePQA== X-Google-Smtp-Source: AGHT+IEwXNzNq0w/gK1hbRH4wNxSM0pokN73MTC+WxLe6FiSvyd9wjIOsOhK8Ij6nvkOegLWP/DS7g== X-Received: by 2002:a05:600c:34ce:b0:43c:f4b3:b094 with SMTP id 5b1f17b1804b1-442d6d18c72mr51824065e9.6.1746864705367; Sat, 10 May 2025 01:11:45 -0700 (PDT) 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-3a1f57de0b2sm5760485f8f.19.2025.05.10.01.11.44 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 10 May 2025 01:11:44 -0700 (PDT) Message-ID: From: Liliana Marie Prikler Date: Sat, 10 May 2025 10:10:28 +0200 Subject: [PATCH 0/3] Update Clingo to 5.8.0 to: guix-patches@gnu.org MIME-Version: 1.0 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: 1 X-Spam_score: 0.1 X-Spam_bar: / X-Spam_report: (0.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=2.158, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_MXG_LOWER_HDR_SPAM=0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 3.1 (+++) 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: Hi Guix, this series updates Clingo to 5.8.0. Dependent packages appear to build, but I haven't done extensive testing on them yet. Cheers Content analysis details: (3.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam 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: 2.1 (++) 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: Hi Guix, this series updates Clingo to 5.8.0. Dependent packages appear to build, but I haven't done extensive testing on them yet. Cheers Content analysis details: (2.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 2.2 MALFORMED_FREEMAIL Bad headers on message from free email service 0.0 T_MXG_LOWER_HDR_SPAM Lower case header spam -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager Hi Guix, this series updates Clingo to 5.8.0. Dependent packages appear to build, but I haven't done extensive testing on them yet. Cheers Liliana Marie Prikler (3): gnu: libpotassco: Update to 0.0-3.2eecf5f. gnu: clasp: Update to 3.4.0. gnu: clingo: Update to 5.8.0. gnu/packages/potassco.scm | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) base-commit: 4dc097364762e680f0be5666fa41704975d5eb31 -- 2.49.0 ------------=_1747482302-27062-1--