From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 06:25:17 2024 Received: (at submit) by debbugs.gnu.org; 24 Feb 2024 11:25:17 +0000 Received: from localhost ([127.0.0.1]:49049 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdq9b-00070P-Ca for submit@debbugs.gnu.org; Sat, 24 Feb 2024 06:25:17 -0500 Received: from lists.gnu.org ([209.51.188.17]:37994) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdpt2-00069Q-BR for submit@debbugs.gnu.org; Sat, 24 Feb 2024 06:08: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 1rdpXd-000206-N8 for guix-patches@gnu.org; Sat, 24 Feb 2024 05:46:01 -0500 Received: from mail-lf1-x143.google.com ([2a00:1450:4864:20::143]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rdpXb-0001ZJ-55 for guix-patches@gnu.org; Sat, 24 Feb 2024 05:46:00 -0500 Received: by mail-lf1-x143.google.com with SMTP id 2adb3069b0e04-512f54fc2dbso79414e87.1 for ; Sat, 24 Feb 2024 02:45:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708771556; x=1709376356; 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=rpU/MjO4dPN0yt89qfHjCHflupJYpzOV5V9qi9pFiGQ=; b=YzjLQ4ln0IweuF84+Nh9fHusu1CC7g9t3tv/vPHTr8ml1Ecsle3/Z9kiAR+2eOBrH3 uIC0B6+0DIK8JcUuw9SBHfnBO8tNWDFxQPQ/RNjlskSUyBdiTe0wQzZpyIoog5NHZUmZ eXLzzPLFBDvl23CAEBekQGdTLDlDX9dsCJHObppgp2KeythbxOtSXTEqFasKxw3+CIjK lshXDpgQNB1a1jKKddn9Jo6qCH3ALBQnyomOIrzOJ1Lq6o0Kth5wh3J1aJkpgigRzQNX D3RURp0l9wXSRMfklFs3lcBXc8274ybxDo2wZ/Sj2SL5GIUFEMlpleHwDmyQM28UrwrR ALPA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708771556; x=1709376356; 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=rpU/MjO4dPN0yt89qfHjCHflupJYpzOV5V9qi9pFiGQ=; b=fHwC/TN12oKpSeb4V76oiKmpsd5Zm8bNVGu89disdiSc7Dg7OArKqgmIXHHGhfStNC M6NVc1Nx+cu0KeXwpojFbY9A2CFDvwcnNfzt5m1DEneMcjBYae5CLo0gsFigoMX37tNa xpA3BKmUALiI1liMly2kUNb2pzueZU5jLJl1fs+Kq/WDxq2LcEDQyIdnYetB39KC+4BV buyfX7k1uwwhHwuZ4bK7+EfRptosPi7OyBloD9xDS53uNG1OCd94qotPun0qEBl46Oxg eMZiIMqjJguN1EF0pqKMlsCopOkMMmeszUYVwTQ20BHlw5NdWdVMR0pW2qsgcKIx/eCt jK+w== X-Gm-Message-State: AOJu0YwCwJWS2Md7l8l0exjl5ZAwyHWf/6ICFpXMH3h9fQdkhtR+ALUU nbAwaMj3Zz4drjS9UCIbFLRe/VVMOSCt0OSxAUSiFG0d9ES6uAc3HBN/ujqnvn4= X-Google-Smtp-Source: AGHT+IE2VZFrxgVSuzV1IajlAxEg2d7W+21fEpcNeXsCYQieN6+hSDMt48hzeq8WgxhGNKA06/MS6Q== X-Received: by 2002:a05:6512:2203:b0:512:d643:8cf8 with SMTP id h3-20020a056512220300b00512d6438cf8mr1586074lfu.62.1708771556197; Sat, 24 Feb 2024 02:45:56 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id kx5-20020a170907774500b00a3d81b90ffcsm465758ejc.218.2024.02.24.02.45.55 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 02:45:55 -0800 (PST) Message-ID: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 11:41:34 +0100 Subject: [PATCH 00/13] Update Clingo to 5.7.1, etc pp 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::143; envelope-from=liliana.prikler@gmail.com; helo=mail-lf1-x143.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.199, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) 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.3 (--) Hi Guix, this series updates Clingo and the rest of our potassco stuff to the newest version. There is one exception, python-clinguin, which would require deeeeeeeeeep cuts into our current python ecosystem and next to juggling emacs-team and gnome-team I don't want to open that box of Pandora. Cheers Liliana Marie Prikler (13): gnu: Add wide-integer. gnu: python-scikit-build: Install cmake modules. gnu: libpotassco: Update to 0.0-2.69b677f. gnu: clasp: Update to 3.3.10. gnu: clingo: Update to 5.7.1. gnu: clingo: Build from actual sources. gnu: clingo-dl: Update to 1.5.0. gnu: python-clingo: Fix build. gnu: python-clingo-dl: Fix build. gnu: python-clorm: Update to 1.5.0. gnu: python-plingo: Update to 1.1.0. gnu: python-telingo: Update to 2.1.3. gnu: python: python-scikit-build: Add more non-deterministic test failures. gnu/local.mk | 1 - gnu/packages/cpp.scm | 31 +++++++++++ .../python-telingo-fix-comparison.patch | 19 ------- gnu/packages/potassco.scm | 55 ++++++++++++------- gnu/packages/python-xyz.scm | 13 ++++- 5 files changed, 78 insertions(+), 41 deletions(-) delete mode 100644 gnu/packages/patches/python-telingo-fix-comparison.patch base-commit: c0f88cd18649c31c75bcddf8247b14ef3e3a66a5 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:07 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:07 +0000 Received: from localhost ([127.0.0.1]:53678 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQp-00058H-Dj for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:07 -0500 Received: from mail-lj1-f171.google.com ([209.85.208.171]:57391) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQo-00057S-5c for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:06 -0500 Received: by mail-lj1-f171.google.com with SMTP id 38308e7fff4ca-2d22b8c6e0dso13852511fa.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778736; x=1709383536; 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=JZ07TGoVrrnTbTLnDE8gGqn2f+1mm8rRlNwSwxagKJ0=; b=Q0t9EEO5pAoVH2ffUcIc48pI6OjvPaC12/fmXKns10psSUwHMARQSnTDwImMwuS35z 70l+IfuNbe9BvB8jjJeUCGXy3HTkvDFT+s1ZkH1sBYUuGh5U1a0J6gyXtJ5vHCikB+3t GaMUZKLQt8C/9iixD5IlECG2Sw1lO63cflC/xlr22KBaHo60F5pMqnzXbGRW+yjFUvvj 3cvwFS9boF40kTGVKpHxsQJK2lXhqTekLON1m7M+woMT5cMcTmABaM/pb8PAFoGTaI7s CZzXRivGd3YEDQcykCmz6G2n2m8XB1oTWQEKoG4zIP5eEHCB52whURDXeNP0NJVSFmPO aaUg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778736; x=1709383536; 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=JZ07TGoVrrnTbTLnDE8gGqn2f+1mm8rRlNwSwxagKJ0=; b=qoSQa6EPkec21F59rzirYPcfBwStnxll8CavgI/ZEVyow9WHyjcI00JJI2uAKzrXeI N5/EhqGZZkQxYRgK+Pjy0O7xsT/taYeZjUb2RqXriwtdLKASuT2zVzr/nTTUzMj4m46k OFxoBcNtHhIZPb9GxjkenB1tAIyAcS00881GLHC1gCbKTs1qY8jj/Fm1eMxDXOjBRVgS gqV1eH4vRzvYjZU4mTzVHhQEbtBJPuNTw5HIhujczpTSZwd03nJNsI2P4t5wbyLik5pU ibu7OoP9GkTuPiWkAdXQvTfdW3xqPQwIgmReSFGqhGxA5r4MqL1O/ia+ld9CGV1dbgyB eiaw== X-Gm-Message-State: AOJu0Yy/gXEnQ/jarF7Lf9ZaqAJOs88cpJbUZzTepTxvv36nyJKXuXtL YZoEm+9nPeKf2f7KUC3uqDt0ZKtlzsgHah+Nbbr6+qWu+vJPUyqkt8DOhmlZ X-Google-Smtp-Source: AGHT+IHgkgSAbNqJGhmbx7DPiyf+4dbK9k3r9TkKc0kdJv2M9G2sihDbCNSNhscf5xWHhrzCQ0q49A== X-Received: by 2002:a2e:914b:0:b0:2d2:3030:bfa5 with SMTP id q11-20020a2e914b000000b002d23030bfa5mr968889ljg.45.1708778735894; Sat, 24 Feb 2024 04:45:35 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.35 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:35 -0800 (PST) Message-ID: <0bd819c52f78fcc59848438a6fd743a6805e9c5d.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 07:56:54 +0100 Subject: [PATCH 01/13] gnu: Add wide-integer. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/cpp.scm (wide-integer): New variable. --- gnu/packages/cpp.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index e530d1d2a8..64816b7400 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -2703, 6 +2703, 37 @@ (define-public safeint 64-bit [...] Content analysis details: (1.1 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 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 [209.85.208.171 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.171 listed in wl.mailspike.net] 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/cpp.scm (wide-integer): New variable. --- gnu/packages/cpp.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index e530d1d2a8..64816b7400 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -2703,6 +2703,37 @@ (define-public safeint 64-bit integers.") (license license:expat))) +(define-public wide-integer + (let ((commit "22b8428746248e682d5276f8e8b7fb52af73ea47") + (revision "1314")) ; commit count + (package + (name "wide-integer") + (version (git-version "0" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ckormanyos/wide-integer") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0bhjnbdcphv5kddddh8kpwjpjix23m12vmfsz0r6wjc5d27md33z")) + (modules '((guix build utils))) + (snippet #~(substitute* "CMakeLists.txt" + (("WideIntegerTargets") "wide-integer-targets") + (("WideIntegerConfig") "wide-integer-config") + (("WideInteger") "wide-integer"))))) + (build-system cmake-build-system) + (native-inputs (list boost)) + (home-page "https://github.com/ckormanyos/wide-integer") + (synopsis "C++ template for arbitrary-precision integers") + (description "This package implements a generic template for extended +width signed and unsigned integral types. Up to 63 limbs of any built-in +integer type are supported, and can be used to build powers of two like +int128_t, uint256_t, but also somewhat esoteric types such as int24_t, +uint80_t, or uint1536_t. The provided types can be used in much the same +way as basic integer types.") + (license license:boost1.0)))) + (define-public wdl ;; No tag is available. (let ((commit "da86a62d11e46e4ecd8b16f9775cb5188340a0e2") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:09 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:09 +0000 Received: from localhost ([127.0.0.1]:53683 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQq-00058c-Tt for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:09 -0500 Received: from mail-lj1-f195.google.com ([209.85.208.195]:45462) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQo-00057W-HE for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:07 -0500 Received: by mail-lj1-f195.google.com with SMTP id 38308e7fff4ca-2d23114b19dso23060881fa.3 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778736; x=1709383536; 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=kutT4b+sn0851Snt38A6FgqZPUTyugBwb+jsM2sle8w=; b=aBtD/0riutmfCsx3R+bfll1IrZiC8cM9XANKhWQzV+ibGoQd0Y4BorbsONVhZQU7Pb JMB3qA2CU8dXE7PoxHPc6jXl4Kd9FOBMe3up8toM9SfjHDgPZ9DBTIe+m0vaolnVTXUH Se9VywlBoez42oIQMLNoynnOVw4HSoE7Lx39F1BJuwUxKMGG4FvwjBXkviujK6GZV7d4 JfPXVa5EP+V43HipPe0pCYMxkyRDLM3k3WcR+P4PCYCfJr+D3HYmMIS4QxSaDjrS1xbP MtPxajN+ZrcsARsM9w413u4aJNibluqRWZ9VbnabE49on3Ql2SBbhxJ2Yi+6XdTKD0qM Ezdg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778736; x=1709383536; 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=kutT4b+sn0851Snt38A6FgqZPUTyugBwb+jsM2sle8w=; b=oJzkecm6OayCFiT11FY8O9RmqJ03dOqRGnnXypPyyZ4snOW5Ms74dY7kJXjWw7/WNv kybtfDGSmogdWvj7MRrZrdTgpn44mdFXtlrPIoS4olnhdT6m6whkgjbYXFzx8sNzggA6 U4cJpBvmRbwfHFsbsVkITDE/If+bzdQ2HDDH89RTqCwECe7yETCH/FdOA0FSIwKl8jmf phms/lzp0jxketvOLKmcEm4FIA2nmhtdn3QMYcV8e8XkJEr8jd84N1KbJ/OedoLlEvYA Zl1D0QgbCPFTfXBFxQKBmoaRXHwZrQAPwVteioilq/PWGmUK9qb6gkz6M9RYFU4oalqD AliQ== X-Gm-Message-State: AOJu0YzlLHsRHZ5oFRmdyr4WkDD68oBs2Jorvhw4dx1nRlSliLHwnawI v8UaDkvDZimGKOUIDncABLEYUiTCsEcL0fkVtaReTt4XM4NXoQRDsX7Bl9RFwYQ= X-Google-Smtp-Source: AGHT+IERkK3PRnLIz9v8XNSfsBPIdgDbRZwWpfFCN/w4OAKBO9YmlfFHeZHj6GBb+oaOGjoPcqAvoA== X-Received: by 2002:a05:6512:2029:b0:511:5ca2:2a3f with SMTP id s9-20020a056512202900b005115ca22a3fmr1473047lfs.9.1708778736536; Sat, 24 Feb 2024 04:45:36 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.36 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:36 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 07:57:07 +0100 Subject: [PATCH 02/13] gnu: python-scikit-build: Install cmake modules. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit to: 69352@debbugs.gnu.org X-Spam-Score: 1.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: * gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Add ‘install-cmake’. --- gnu/packages/python-xyz.scm | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index a051f5a8db..88dadb9f4a 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -31930,7 +31930,15 @@ [...] Content analysis details: (1.1 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.195 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.208.195 listed in list.dnswl.org] 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Add ‘install-cmake’. --- gnu/packages/python-xyz.scm | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index a051f5a8db..88dadb9f4a 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -31930,7 +31930,15 @@ (define-public python-scikit-build ;; nondeterministically (see: ;; https://github.com/scikit-build/scikit-build/issues/711). "and not test_generator_cleanup " - "and not test_generator_selection ")))))))) + "and not test_generator_selection "))))) + (add-after 'install 'install-cmake + (lambda* (#:key outputs #:allow-other-keys) + (let ((lib (string-append (assoc-ref outputs "out") + "/lib/cmake/modules"))) + (mkdir-p lib) + (with-directory-excursion "skbuild/resources/cmake" + (for-each (lambda (file) (install-file file lib)) + (find-files "." "\\.cmake"))))))))) (native-inputs (list cmake-minimal gfortran -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:10 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:10 +0000 Received: from localhost ([127.0.0.1]:53686 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQr-00058l-IH for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:10 -0500 Received: from mail-ed1-f65.google.com ([209.85.208.65]:51663) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQp-00057b-2m for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:07 -0500 Received: by mail-ed1-f65.google.com with SMTP id 4fb4d7f45d1cf-5643ae47cd3so2123099a12.3 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778737; x=1709383537; 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=CCZHTVc43XIid8Fp1RO4SoorRb0R5CYQo4038ungFEU=; b=d0SXFcrVrMVDu2DrKjtayP9mXye0RefB7RFvYiJflbfSYEMA63PKUVnoT8gYumus13 9cro4ZzhB/DDY4WjBpTWoazCjlBr6zraggbvD65Y/m24jONfWkzNEF7sCxBHBFC+fouN acRR+cyKcvaSM7gKx+0gDNa6vU2XMspYcVHQ0NwTdv22plLQFCIChdvjK+eAy5+ijaHs 2JFFC1cSEuTNjz1kmNgxa8JiAJs+LpQoaQUfW5EI3wOUenY4HqVUWX9ipqL02FCjuwwj DlZfNG8p4MQzdHtYwqyXntPww96cA8UG7fs1nEL5oclLp15mSD5SCfdqTmmGr/BwTUAm 0lVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778737; x=1709383537; 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=CCZHTVc43XIid8Fp1RO4SoorRb0R5CYQo4038ungFEU=; b=rO2u4EGRU0fAW0FfVF4spVBaPMcNtNDM8SrfsKcf4Y8oqIyoDeKWBbyfWf9hj1C/D6 p6ao8RwaD8CIYbzhXKH4M6unB+kBMaAy0wvBgppERkAvdSy1uE7iJ1jOtO3c/aX37mMV EVSnXpv+LgVtyv4E3BnAl8G8QFDrk54vHqVdskRyxkr/zW0+TWAkVgHuoYtB3EF6Jfkt FfvxQ6P8rLiy3wBS0t6PxkOZVOgzQ6PEBMgHnZ/TlUpHsQaM6OTnUvx2jqU9pbeHKvVJ lZhkTqnadhaLEb5XV6TcD+M732Br/Oo8P+JcWS+CwsBPKa0msiLa2ySabJeDSjVq2LXk Rr1w== X-Gm-Message-State: AOJu0YwKQxg0zSSU4sBAjWXIONT5SvI3bsSwySvvMM/GMJxtD8HgiMWB 2FdEp2AwRXwNiAw7p6E2hK6mXaCqtMpXzk3YGxlQm/ZXsHvoeYva1NfmeMrdDWc= X-Google-Smtp-Source: AGHT+IHilsyGfIYMaHudtyW3UWpLf8wv1SHsjVuEl/x8fCp3VUbUeICB/5z4GBfBx29+QCGdiJLELw== X-Received: by 2002:a17:906:f15a:b0:a3f:ce31:64d6 with SMTP id gw26-20020a170906f15a00b00a3fce3164d6mr1494931ejb.10.1708778737177; Sat, 24 Feb 2024 04:45:37 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.36 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:36 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:51:00 +0100 Subject: [PATCH 03/13] gnu: libpotassco: Update to 0.0-2.69b677f. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f. --- 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 39edb3096b..01cada7b77 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -46,8 +46,8 @@ (define-module [...] Content analysis details: (1.1 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 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 [209.85.208.65 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.65 listed in wl.mailspike.net] 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f. --- 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 39edb3096b..01cada7b77 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -46,8 +46,8 @@ (define-module (gnu packages potassco) (define-public libpotassco ;; No public release, update together with clasp - (let ((revision "1") - (commit "2f9fb7ca2c202f1b47643aa414054f2f4f9c1821")) + (let ((revision "2") + (commit "69b677f026c53d5a0a794db17691a1eb8bce8c6b")) (package (name "libpotassco") (version (git-version "0.0" revision commit)) @@ -65,7 +65,7 @@ (define-public libpotassco (("\"catch.hpp\"") "")))) (sha256 (base32 - "1c32f9gqclf7qx07lpx8wd720vfhkjqhzc6nyy8mjmgwpmb3iyyn")))) + "1c69njg30dha1zy6j17gghjg3lgambz0pipxkgxadmrkvsb20z2k")))) (arguments `(#:configure-flags '("-DLIB_POTASSCO_BUILD_TESTS=on" "-DLIB_POTASSCO_INSTALL_LIB=on" -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:21 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:21 +0000 Received: from localhost ([127.0.0.1]:53704 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR3-00059x-42 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:21 -0500 Received: from mail-lf1-f43.google.com ([209.85.167.43]:50658) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQp-00057s-Oe for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:08 -0500 Received: by mail-lf1-f43.google.com with SMTP id 2adb3069b0e04-51197ca63f5so2591509e87.1 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778738; x=1709383538; 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=copDrYZLvyoBmZHpsX9tMGZBdHut6obLrmUIVn+fJ08=; b=jfaBrGBWC8aoj2GzQBVClZcQEIHSO4bugNOFwHr+qakaO+LLNMUHvo73L2IZOQ9+2Q 0SiQ+LI0VAk+vk8iX8RFFMW6npP8J8pDWFSfvSE34xHUvPANLSFdeMXYTMQg8ohyg5uU zG2pTewbpgBryFoYgmGAQXaTngX7SY6Z/btFJumqGGzM4uaLpLCjkAXcCrwA25yXvHoF SBG/YkTIHFvNlpkU4PH+LwyDQetAHFyBkZB7W9MzbLFjUoPtuh2VbbLezT+XIma3u4vN IRHagfzXpK0GnoV62QhCZoWrZt2i4y6bLr0Cv3iWHsNyehrepuvIw+1GAwKlKCndCLbB QyPg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778738; x=1709383538; 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=copDrYZLvyoBmZHpsX9tMGZBdHut6obLrmUIVn+fJ08=; b=kOVYZQzGwCH8Gx9Rc7LD0hwFC2qJOPIwwvbPwFy0h3Q1DmTLVdlb8kn235X1TRQFt6 rXp0vBS4sLDsWWk5ekcL664GCduqGJPsjwSpHi8c6cY9rr4eXaHlXlJ6qSU6Cv+Gd28a 1s6Jh1D8yu9xV9pTw7vaLZGY3uWPSvVao4eclli/WNQsP0SIekl4VPU191JwkxPUIoZR MEME3Nn2bdXDFwl0I9rviHA3o/l/+K3RTzlWkomhV3MSbqxisoL9muMhws/ycPIVSWOT IH1M6l//GR688iCfkLLyvTUz12vbNqY9P84evPYGlEW1CNcGc6UOUK6AKqQp/IMJCUdz EaRQ== X-Gm-Message-State: AOJu0Yw49JEQgk8Cyq3jV0nSdrgY28ZxlskEQmk/c3MRnTqOyx8TdOTI mUFvJ7CYKKdJ1vumOBU5ueQpY2QquFIY3Mw38c0bK9Unl5zdg1bWrmD4N3CK X-Google-Smtp-Source: AGHT+IEXUsjffDC6PoXW2PTb9SJKTyqIz3b1EEPN72BJP0zb6vGeCFM596xRatUHxuEmXhGRfW1QQg== X-Received: by 2002:a05:6512:282c:b0:512:e1e3:792f with SMTP id cf44-20020a056512282c00b00512e1e3792fmr2033151lfb.3.1708778737778; Sat, 24 Feb 2024 04:45:37 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.37 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:37 -0800 (PST) Message-ID: <5c91d8eee45bb5a51f6fdad13e1e27a03d471fa9.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:52:40 +0100 Subject: [PATCH 04/13] gnu: clasp: Update to 3.3.10. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (clasp): Update to 3.3.10. --- 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 01cada7b77..05d5a3b754 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -103,7 +103,7 @@ (define-publi [...] Content analysis details: (1.1 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 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 [209.85.167.43 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.167.43 listed in wl.mailspike.net] 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (clasp): Update to 3.3.10. --- 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 01cada7b77..05d5a3b754 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -103,7 +103,7 @@ (define-public libpotassco (define-public clasp (package (name "clasp") - (version "3.3.9") + (version "3.3.10") (source (origin (method git-fetch) (uri (git-reference @@ -112,7 +112,7 @@ (define-public clasp (file-name (git-file-name name version)) (sha256 (base32 - "163ps9zq7xppqy9hj5qnw6z5lcjnm4xf5fwjsavpia5ynm3hngcw")))) + "0qap7rar8a5mkqz28n2hnvr4cfv5x0rh4zs3wdp919dw4d034chr")))) (build-system cmake-build-system) (arguments `(#:configure-flags '("-DCLASP_BUILD_TESTS=on" -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:22 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:22 +0000 Received: from localhost ([127.0.0.1]:53706 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR3-0005A2-GD for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:22 -0500 Received: from mail-ej1-f66.google.com ([209.85.218.66]:59520) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQq-00057v-82 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:09 -0500 Received: by mail-ej1-f66.google.com with SMTP id a640c23a62f3a-a3e6f79e83dso159066566b.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778738; x=1709383538; 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=732FoeDVWe1Hi88BsxmZEQS8OIhC6BBRGeM4lghf6Mg=; b=jv661Lm5YmZ8sFKmYs2yowbbAhN9JWoKp8A3Ib7MDE4m2GqVzJgatWXsjgEF1W6SI2 ZRyGGrZP8L9h467+rIeTec+P0TxXwvf0UlVS9XCEjJMQX2Kuhy3Mm3cxVJymsCfYNPkm 8PskQDxogNYMEBwG/BUdV9GzAi6GbjgRFBbHH/ZyS7LPN+uzNfCP2no2nc5Fuk2U4tcI nS+NTc1bT0AvKI464tL0VJk2FpGqD+djlK3+AjCBQt2eUpX4amNIjle+FYVTkspjaz8H p5SAnOLdrCXzqWde/x6RJcoN39s/OHmPwpTe02H7PLK3Df3QI/OAaqsCpQ1b9DHJF0R6 y34Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778738; x=1709383538; 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=732FoeDVWe1Hi88BsxmZEQS8OIhC6BBRGeM4lghf6Mg=; b=paeyAKiGP2sK5AP+ybZYTt6sajgCNaJvqC5xT/tGxVRnc7IXgXoBbbkzmN+NCj+ilu HwalSgsbEruyGX7kCOgVlCNeNLfxuu95jXAY+4tA7DArVaZ56uz+TvUvtmxnCJp9PgH6 Q1gYtNwxJWzBQFMuD3ImepFmbgGynSkJLjVDyGtV8v5QE0k6GSCvCGAeA8EInCU1amo/ V//svBn70R7zjl1aofr/hkvSBrOP9InNJFXduLn7F5EZIvhPs/bxi/v5qHPXWmzoq0fN ig/j0HDlXVnIrnk5d7OzUDoN3MYlX5rSr3M5fiSpOHvYJPhq9aydBcOpgCp+u/1cr7vf L63g== X-Gm-Message-State: AOJu0YwcCOzNl8rK4G9pr0r+G8JeA7gOX+iXoiZfgrXcBGgRhksZ50nC Y+xY3tQxszScTYXMuxqBJTsglHKbtGNsrNO/f2s33EGnwkcokwJ9nS5W5UMd5Mc= X-Google-Smtp-Source: AGHT+IENiZvpnr9BWigA0HNFT5zRTnFDvGEUxtDJ9h8ddPogXtpPlpXkC/Is68DYWlJ+Vn78bwT3jg== X-Received: by 2002:a17:906:b7ce:b0:a3e:5ffa:d564 with SMTP id fy14-20020a170906b7ce00b00a3e5ffad564mr1495597ejb.8.1708778738473; Sat, 24 Feb 2024 04:45:38 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.37 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:38 -0800 (PST) Message-ID: <76170fd2a156a68883eac81d527f0f1a7f8e3685.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:54:10 +0100 Subject: [PATCH 05/13] gnu: clingo: Update to 5.7.1. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (clingo): Update to 5.7.1. --- gnu/packages/potassco.scm | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 05d5a3b754..602d0455d2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -146,7 +146,7 @@ (define-publi [...] Content analysis details: (1.1 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 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 [209.85.218.66 listed in list.dnswl.org] 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.218.66 listed in wl.mailspike.net] 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (clingo): Update to 5.7.1. --- gnu/packages/potassco.scm | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 05d5a3b754..602d0455d2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -146,7 +146,7 @@ (define-public clasp (define-public clingo (package (name "clingo") - (version "5.6.2") + (version "5.7.1") (source (origin (method git-fetch) (uri (git-reference @@ -160,7 +160,7 @@ (define-public clingo (delete-file-recursively "third_party"))) (sha256 (base32 - "19s59ndcm2yj0kxlikfxnx2bmp6b7n31wq1zvwc7hyk37rqarwys")))) + "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb")))) (build-system cmake-build-system) (arguments (list @@ -184,6 +184,7 @@ (define-public clingo "find_package(mpark_variant)\n" "find_package(tsl-sparse-map)\n" "find_package(tsl-ordered-map)\n" + "find_package(wide-integer)\n" "find_package(Catch2 3 REQUIRED)"))) (substitute* "libclingo/CMakeLists.txt" (("\"cmake/Clingo\"") "\"cmake/clingo\"") @@ -191,7 +192,8 @@ (define-public clingo (("ClingoConfigVersion\\.cmake") "clingo-config-version.cmake")) (substitute* "libgringo/CMakeLists.txt" - (("mpark::variant") "mpark_variant")) + (("mpark::variant") "mpark_variant") + (("math::wide_integer") "wide-integer::wide-integer")) (substitute* "cmake/ClingoConfig.cmake.in" (("find_package\\(Clasp") "find_package(clasp")) (rename-file "cmake/ClingoConfig.cmake.in" @@ -217,7 +219,8 @@ (define-public clingo tl-optional tsl-hopscotch-map tsl-ordered-map - tsl-sparse-map)) + tsl-sparse-map + wide-integer)) (home-page "https://potassco.org/") (synopsis "Grounder and solver for logic programs") (description "Clingo computes answer sets for a given logic program.") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:22 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:23 +0000 Received: from localhost ([127.0.0.1]:53709 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR4-0005A7-4T for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:22 -0500 Received: from mail-ej1-f68.google.com ([209.85.218.68]:61838) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQr-00057y-16 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:09 -0500 Received: by mail-ej1-f68.google.com with SMTP id a640c23a62f3a-a3122b70439so173136566b.3 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778739; x=1709383539; 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=L+m8hdbOYWsPHq3u6FyXGYtEK+VTkTLPPy47LQhlVm0=; b=GY/MD+1uQ4pfjTEPQ+m2o8162b/9fLXMl/fHyaDAvTgoOO4B7jeUtkDJjy+0Un6NIg JReyMCPyqa0xXPJeDtj4w4vgYdEZ0eRoD9iKaSSgJ9xYfqeu4+E1MNF2wSRKBygjndM3 7b+6yDXg9twvqRIAJcNsHzE7uZpneFWDG842vfP6j32TNOdppN9pTIM1bvdH9Po/L7Ie kojTD4AMF/lV89onro9gcHvcFcd40zs+XXkTq2fbfAh+Skc1+OfddjxvJPo6qbntZyWm lAz1NOjBrczj6XZBUwCYZwEJy/oDWVqIy1fPTzFsfmSLzAe27y4t+6kg5H5RiS6QKCl5 8acw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778739; x=1709383539; 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=L+m8hdbOYWsPHq3u6FyXGYtEK+VTkTLPPy47LQhlVm0=; b=wG1dG9KrORY36eKSB1i2gNlJ4gZ55OQ0qaw34e5ZeVxjm1+R1NzAkqFD6chwY4Hexi phDJ7E3fq2Ywf93AMs58+KX7XLiMWNgnoaAJi3P5J9dZ4RZz35sbQ6YVzVwHjV3TDedF gomB0PZikjVmbug7us7dS8thTHsie3KcRmKZatfF1j9oJTA12Ix9fyjfuRRq9HQzxJal JJz/5nTNkDnSIJDYf8/hVPHn6LXNWUjNBnqTkxMCBGr3ArRROp6L9HQcQylS+US+WI/b EHFUSWzUIF13pmOCuP1vwcZpnAzKR+Fn2s/tR6pg6n0CdQvuzkiI47kNdMrJXpJySrPW InBA== X-Gm-Message-State: AOJu0YxZt54v7OV4amJr6Ejf5C2fDTTI5SDDomYkOY5W0hhHx6B1AvcA X9BpFcZc6g+tV1pTSvMPiCvgC1TgRipx7QKOj+wjnKBNMNzLYboVAzCeUFiq9q8= X-Google-Smtp-Source: AGHT+IH3PMElMEr8Q/LJH0ZispEzKXJACaE/7P/P/zb+KsKhBP5IVq+R3hj/to8Pwa40/UDO8F9TUA== X-Received: by 2002:a17:906:19cd:b0:a3f:cf5b:c2b2 with SMTP id h13-20020a17090619cd00b00a3fcf5bc2b2mr1558651ejd.21.1708778739121; Sat, 24 Feb 2024 04:45:39 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.38 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:38 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:54:18 +0100 Subject: [PATCH 06/13] gnu: clingo: Build from actual sources. to: 69352@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 (clingo)[source]: Modify snippet to remove generated sources. [native-inputs]: Add bison and re2c. --- gnu/packages/potassco.scm | 6 +++++- 1 file changed, 5 insertions(+), [...] Content analysis details: (2.4 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.3 RCVD_IN_VALIDITY_RPBL RBL: Relay in Validity RPBL, https://senderscore.org/blocklistlookup/ [209.85.218.68 listed in bl.score.senderscore.com] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.218.68 listed in list.dnswl.org] 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.218.68 listed in wl.mailspike.net] -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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (clingo)[source]: Modify snippet to remove generated sources. [native-inputs]: Add bison and re2c. --- gnu/packages/potassco.scm | 6 +++++- 1 file changed, 5 insertions(+), [...] Content analysis details: (1.4 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.218.68 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.218.68 listed in list.dnswl.org] 1.3 RCVD_IN_VALIDITY_RPBL RBL: Relay in Validity RPBL, https://senderscore.org/blocklistlookup/ [209.85.218.68 listed in bl.score.senderscore.com] -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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove generated sources. [native-inputs]: Add bison and re2c. --- gnu/packages/potassco.scm | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 602d0455d2..fd049e2e73 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -32,6 +32,7 @@ (define-module (gnu packages potassco) #:use-module (guix build-system emacs) #:use-module (guix build-system python) #:use-module (guix build-system pyproject) + #:use-module (gnu packages bison) #:use-module (gnu packages check) #:use-module (gnu packages cpp) #:use-module (gnu packages graphviz) @@ -42,6 +43,7 @@ (define-module (gnu packages potassco) #:use-module (gnu packages python-build) #:use-module (gnu packages python-web) #:use-module (gnu packages python-xyz) + #:use-module (gnu packages re2c) #:use-module (gnu packages sphinx)) (define-public libpotassco @@ -157,6 +159,7 @@ (define-public clingo (snippet #~(begin (delete-file-recursively "clasp") + (delete-file-recursively "libgringo/gen") (delete-file-recursively "third_party"))) (sha256 (base32 @@ -214,7 +217,8 @@ (define-public clingo "propagator" "propgator-sequence-mining" "symbol" "visitor")))))))))) (inputs (list catch2-3 clasp libpotassco)) - (native-inputs (list mpark-variant + (native-inputs (list bison re2c + mpark-variant pkg-config tl-optional tsl-hopscotch-map -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:23 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:24 +0000 Received: from localhost ([127.0.0.1]:53713 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR4-0005AH-PN for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:23 -0500 Received: from mail-lj1-f169.google.com ([209.85.208.169]:60774) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQs-000580-EV for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:10 -0500 Received: by mail-lj1-f169.google.com with SMTP id 38308e7fff4ca-2d094bc2244so15675011fa.1 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778740; x=1709383540; 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=k+t99BvqegEuE8iYqc24ty9S5P5lXbGqjQ6HwojaN0s=; b=jgYPVZoRuiX+SLVdeNng8z3LjDS+nX1Y3tOLzND4monVGW+8w/v1KL01kM8UyK3jpf Cb3cMSrnyJKm/gvwmpj37bIXt7NAZADAWg6uUxIzaRFtkA07tqEfb91xig8YROxx4Z0A jtz70kNkPaM/uCIxR3HcW3jfOIhmw0IM4U5IJU1DZXlnvntvvpfiMS52F1aC/L/T1CaX p8tuWAX8QkKdsFuYyOCBfd6h04p+2Kx4Kul+DCF7FdM1UcqL43Lsuryl6gmGAJR/gXtp LCtHVQoCNudxTTR7pBQeC1mFpVMIGKcwpjVsONGOrhW8C9arfx5L2aSeQ5nvLXo2Tv4S 3TfA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778740; x=1709383540; 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=k+t99BvqegEuE8iYqc24ty9S5P5lXbGqjQ6HwojaN0s=; b=SOC3VghDlhXbNcEaTabjDz1OAt4bYm8ixnjxNM9tDIuwmhEzw49W97ZVNQ2kgLUU0q K8VYxF4xK7mXUtub+a2J5R0Halmcbx99ajt1tm7i3dMficm0+yY+CnGHFL0wkbcihZ9J 0KR6SuMlCXzb5MWlbz5wxnmuDMGz2awhTel32de/Yfhi0i4Z8Lqk2omIpdR4s9oMT4Dk 5SFv06/UtK4siIIvzDsdQS7DUx3GJmSX5eOiZWPpS1MNvkylk4DBKtWXqg23POztQeGa R2dQmFycKZKaDXq9Lbnz+0YvSnz1RksvNGhkebV4Y7O7XU6rsCZJwmpUyIsoBbbPLgZF 4Xnw== X-Gm-Message-State: AOJu0Yxo0+ijdsWsCytASyRqf2YqEviExjR13xpjXEY950SHOZ7Q3Xl3 zP2dZsR6xVcHavqoJiE0DQett1AD7qv82deu9eAih/ACNdF98BCQEeo7s6W/ X-Google-Smtp-Source: AGHT+IGIjr6YWMgYrhKrTJsMVgXB/QTQT1qP9A8qAf31LX33JiDFbdYimnUjzETo5wdyVeNFjhcCEw== X-Received: by 2002:a19:8c1b:0:b0:512:ea8d:f2f9 with SMTP id o27-20020a198c1b000000b00512ea8df2f9mr1354574lfd.14.1708778740352; Sat, 24 Feb 2024 04:45:40 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.39 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:40 -0800 (PST) Message-ID: <1eb47332f63b70c8c3242ce9e39029ef747af621.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:56:15 +0100 Subject: [PATCH 08/13] gnu: python-clingo: Fix build. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. --- gnu/packages/potassco.scm | 3 +++ 1 file changed, 3 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 5a59eeffef..16cff245e7 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -364,6 +364,9 @@ (define-publi [...] Content analysis details: (1.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 [209.85.208.169 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.169 listed in wl.mailspike.net] -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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. --- gnu/packages/potassco.scm | 3 +++ 1 file changed, 3 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 5a59eeffef..16cff245e7 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -364,6 +364,9 @@ (define-public python-clingo (substitute-keyword-arguments (package-arguments clingo) ((#:configure-flags flags #~'()) #~(cons* "-DCLINGO_BUILD_WITH_PYTHON=pip" + (string-append "-DCMAKE_MODULE_PATH=" + #$(this-package-native-input "python-scikit-build") + "/lib/cmake/modules") "-DCLINGO_USE_LIB=yes" #$flags)) ((#:imported-modules _ '()) -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:24 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:24 +0000 Received: from localhost ([127.0.0.1]:53716 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR5-0005AR-QN for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:24 -0500 Received: from mail-lf1-f49.google.com ([209.85.167.49]:49266) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQu-00058B-C2 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:12 -0500 Received: by mail-lf1-f49.google.com with SMTP id 2adb3069b0e04-512f4e1a6e3so147635e87.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778742; x=1709383542; 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=31kwNHFs2VambgFanht9yniPgZAnpv8dkvMGSY+Y3F4=; b=UU/wgu6//6Cd5PFNj9U9mo5huHW+9cLF5MAS8F/cBtL34HClST2iopTf5WOboWCQ44 C57hocj3y53/lIP3BOw5IPikB+LW9EqR3xkzDms44JGqgWNg87tIDVaDKT0ClZg2GN3u dGqeSUVBTqkFZAofE9vtoGur9Kp0Kwr2qKm1jsD1J5Zh7khhFwvFR2NP4s/amFbgjoyu 1l8JITapOmwsizWUD7OFXh5YsGgr9qsqU97CeUjkhfY/Wj4YlJDAoZMx9I5ADU8NbDgC 8DiiqoQPcJFwRMmR25xeiDcKj0opoxKkrf23g/EL10ee83g1Qqvyu8KjBSM/nFj0+5US /Jhw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778742; x=1709383542; 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=31kwNHFs2VambgFanht9yniPgZAnpv8dkvMGSY+Y3F4=; b=sW9Nlqx3XwubPy8CShiWOpfDRcYSpvK/aZeqDoRC+WJNZRdQcqRH5Z8TIQ41r5Q5WY s2/CorDi3vvY0kgrcnn8XZ9Cr55J3Xxrp97C3yUuWCxpYQFrRvCuSQE0GtDB8Je73IsT HHCnD1ClmKPcU1NG9+2uT98RD2reqwVBBvpREC5Gde8A8X1/4ezmQoBRiDzeLCJoRwRH /EHPo88YCGa6R9xKZ/ASn90P+mpGc+CHGmHVkJ4/W3qbbaP2Y9nrzZwVfjlqc1C8EbtG xA60zLKEt9u5oyk11ap7hOIQieUUk+vIz12BvWyEBKbdIo17KNXgc0nqqMITueO67tKC HTpQ== X-Gm-Message-State: AOJu0YwUPfLxuksOGRE1gBEUX8IGgGA27p7B4j0Y+bjIjftsc77x2Lp0 ccB6o8F5NfFwCAsgIf4kHHHn7ItJtPYdqcszC26MzhyeAredZMNa4HAS+/nf X-Google-Smtp-Source: AGHT+IFQL4SwDSN13ZBG+TeulK+d3jO4l0EIXaTqpbbvKZCslHac6D9XTZo2ayekAICCHsbkXt3rPg== X-Received: by 2002:a05:6512:691:b0:512:f59f:15d3 with SMTP id t17-20020a056512069100b00512f59f15d3mr318502lfe.20.1708778742396; Sat, 24 Feb 2024 04:45:42 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.41 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:42 -0800 (PST) Message-ID: <503610935c9012ba8d5cdb01046ed02479327f5c.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 09:01:24 +0100 Subject: [PATCH 11/13] gnu: python-plingo: Update to 1.1.0. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (python-plingo): Update to 1.1.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 a9dc34f0d4..4eb0f4a2c7 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -482,7 +482,7 @@ (define-publi [...] Content analysis details: (1.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 [209.85.167.49 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.167.49 listed in wl.mailspike.net] 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (python-plingo): Update to 1.1.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 a9dc34f0d4..4eb0f4a2c7 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -482,7 +482,7 @@ (define-public python-clorm (define-public python-plingo (package (name "python-plingo") - (version "1.0.0") + (version "1.1.0") (source (origin (method git-fetch) (uri (git-reference @@ -491,7 +491,7 @@ (define-public python-plingo (file-name (git-file-name name version)) (sha256 (base32 - "1mp0pdjzwpl7bpba20iwszx9x49gsyl2rhrp7w7xpwjqdjrp23r8")))) + "0bdz755c6isp29layvzsw9c4kr12x7b5d8ip37ay3cl4dlq4bid3")))) (build-system pyproject-build-system) (arguments (list #:phases -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:25 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:25 +0000 Received: from localhost ([127.0.0.1]:53719 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR6-0005AZ-DT for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:25 -0500 Received: from mail-lf1-f68.google.com ([209.85.167.68]:57514) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQv-00058J-0x for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:14 -0500 Received: by mail-lf1-f68.google.com with SMTP id 2adb3069b0e04-512ed314881so1122544e87.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778743; x=1709383543; 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=ephCFlGGRXoZh8755MTR6YBu0noEltJ7nlZbKMRLXOU=; b=IvCspudDfpPlUbryyJAEIP7RN7zc1q0Y830xj2781ls1IGRq2PAAHpkPWd9oCvxD/E aCuKM6rZKZc+x1kxckutGlmLznm/DiqRe59cRpo45k6HBFWT1pFC4/V+hSxR+ZI/Dlg6 K1wSJsxSOH1EjsU+0wAvQeqh9fNj7lLeaq+ivOeC9WGENbaq9thR2M/q2dN9S0mHpHSL fQjB7Aa6xBIJRgc2VSJ/Ho3Kw1zXcXd1yRY7UFHOc6l379wVLdizzeF729Ao0tUvassF Q4g4kgT4pW+I8hyW+gsbxacBF6b5++HYAdbEzWKxw7zw4z5O+z0lmDw/gUBoj86xRd2I TZ4w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778743; x=1709383543; 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=ephCFlGGRXoZh8755MTR6YBu0noEltJ7nlZbKMRLXOU=; b=a45xIhyPFzS2BafsgHH0ZqNxLDxCUCL1smMrVVEkuF20IlVeF3mXvvmu4pWcTWgv/s 21+XjnopYeh+3WQhi4o3O2XC2tG6cYap40MLpkUHzjC0J+oVo5xjmteiuMJiiI0lKYwo 5mlrt1qNtLvJ8aNpEjpwKNXFi0kljHXMxxrjEFh0dsvTVW4FQDlWbu7s+c04D8Uw4PRE 5zyidN+XbobTj9Vu5AytRSIDjG72LXY572H5OV5t5POtS1YdSfZCkHchVZXDf2PoQ1MF +VEJtHEn8RiPZpKHOfUffvFH3oR2P7yjE7o+iIYk2+58x7SVvAFTlw1BmbzESP6oHM6t QGlg== X-Gm-Message-State: AOJu0YyxAfIylA9gqvuwVxbJFzjLzp7ecD1mS9NkQzzkZJHB+dBE5Cra QZuGH+TW56EFQrAMbA41DZ6hS7MENsESC0BE5mZ6GBvZdUBX9kRWlJ6rJ8Os3No= X-Google-Smtp-Source: AGHT+IFAZ3EGZzLp71JvDdqBNDXx2VAqpjMH/BgXcqMi6f58HUF9E6KEknAeBYMUjH2xUyy5Apa57A== X-Received: by 2002:ac2:5b1a:0:b0:512:eee2:d8d0 with SMTP id v26-20020ac25b1a000000b00512eee2d8d0mr1086317lfn.59.1708778743033; Sat, 24 Feb 2024 04:45:43 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.42 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:42 -0800 (PST) Message-ID: <3fc6f4d5cbcdf2b2dbbf490e4a31caccdc23b330.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:59:28 +0100 Subject: [PATCH 12/13] gnu: python-telingo: Update to 2.1.3. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (python-telingo): Update to 2.1.3. [source]: Drop obsolete patch. * gnu/packages/patches/python-telingo-fix-comparison.patch: Delete file. * gnu/local.mk (dist_patch_DATA): [...] Content analysis details: (1.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 [209.85.167.68 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.167.68 listed in wl.mailspike.net] -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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (python-telingo): Update to 2.1.3. [source]: Drop obsolete patch. * gnu/packages/patches/python-telingo-fix-comparison.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. --- gnu/local.mk | 1 - .../python-telingo-fix-comparison.patch | 19 ------------------- gnu/packages/potassco.scm | 5 ++--- 3 files changed, 2 insertions(+), 23 deletions(-) delete mode 100644 gnu/packages/patches/python-telingo-fix-comparison.patch diff --git a/gnu/local.mk b/gnu/local.mk index 25e2341a72..9eef46bf57 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1809,7 +1809,6 @@ dist_patch_DATA = \ %D%/packages/patches/python-sip-include-dirs.patch \ %D%/packages/patches/python-sgmllib3k-assertions.patch \ %D%/packages/patches/python-sphinx-prompt-docutils-0.19.patch \ - %D%/packages/patches/python-telingo-fix-comparison.patch \ %D%/packages/patches/python-typeguard-python3.10.patch \ %D%/packages/patches/python-uqbar-python3.10.patch \ %D%/packages/patches/python-wxwidgets-type-errors.patch \ diff --git a/gnu/packages/patches/python-telingo-fix-comparison.patch b/gnu/packages/patches/python-telingo-fix-comparison.patch deleted file mode 100644 index 6d05048dcb..0000000000 --- a/gnu/packages/patches/python-telingo-fix-comparison.patch +++ /dev/null @@ -1,19 +0,0 @@ -Index: source/telingo/transformers/head.py -=================================================================== ---- source.orig/telingo/transformers/head.py -+++ source/telingo/transformers/head.py -@@ -564,10 +564,12 @@ class HeadTransformer: - cond = [] - diff = _ast.BinaryOperation(loc, _ast.BinaryOperator.Minus, param, shift) - if lhs.ast_type != _ast.ASTType.SymbolicTerm or lhs.symbol.type != _clingo.SymbolType.Number or lhs.symbol.number > 0: -- cond.append(_ast.Literal(loc, _ast.Sign.NoSign, _ast.Comparison(_ast.ComparisonOperator.LessEqual, lhs, diff))) -+ cond.append(_ast.Literal(loc, _ast.Sign.NoSign, -+ _ast.Comparison(lhs, [_ast.Guard(_ast.ComparisonOperator.LessEqual, diff)]))) - - if rhs.ast_type != _ast.ASTType.SymbolicTerm or rhs.symbol.type != _clingo.SymbolType.Supremum: -- cond.append(_ast.Literal(loc, _ast.Sign.NoSign, _ast.Comparison(_ast.ComparisonOperator.LessEqual, diff, rhs))) -+ cond.append(_ast.Literal(loc, _ast.Sign.NoSign, -+ _ast.Comparison(diff, [_ast.Guard(_ast.ComparisonOperator.LessEqual, rhs)]))) - - elems.extend([_ast.ConditionalLiteral(loc, _ast.Literal(loc, _ast.Sign.NoSign, head), cond) for head in heads]) - diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 4eb0f4a2c7..43d9ea6647 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -520,17 +520,16 @@ (define-public python-plingo (define-public python-telingo (package (name "python-telingo") - (version "2.1.1") + (version "2.1.3") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/potassco/telingo") (commit (string-append "v" version)))) (file-name (git-file-name name version)) - (patches (search-patches "python-telingo-fix-comparison.patch")) (sha256 (base32 - "0g3khxfdzc2hc7dkiyyqhb399h6h21m5wkp6wy8w71n0m32fiy53")))) + "1q6hlh4b5hsa4n5agvmfa9rhsxfd2g6kpl4b9kfccwbmf6dh51k6")))) (build-system pyproject-build-system) (propagated-inputs (list python-clingo)) (home-page "https://potassco.org/") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:47:25 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:47:25 +0000 Received: from localhost ([127.0.0.1]:53722 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrR7-0005Ai-97 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:25 -0500 Received: from mail-ej1-f66.google.com ([209.85.218.66]:61838) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrQv-00058W-Ej for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:47:14 -0500 Received: by mail-ej1-f66.google.com with SMTP id a640c23a62f3a-a3122b70439so173141566b.3 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:46:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708778744; x=1709383544; 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=JCi8NpChViokqH7DRFoSZsALmRKkuvDK0Ib/rL8/yi8=; b=IM5JbUPJXv6xNw0s6HZ7K9l8oH0LfxjLy5IDrEBAH2UXAylPFLQxGTG2fWK/QmxBJQ +mxGjMBAeMllXFgAswppwwR2WDUXEAvNpIYlpUhXZdCaO3c80uGzNpiH2Soskh4iJ/nK hjiTP0JEcFc7pg10UiUHlFH6sig7JjTqWiylPgyKbYTo+TbKdlVI2oaWyMYR5emCzXNU vpUD0XFJ62iKY+S3qlyetnoyz6ooKTBujf6T7zENwOzQ4HjvPSgrfuNjI/7OXsyjDq6F zrjeI4OrM40FEa2blTjVSwFaok1UHvFDYQr8MWa4l3XDHNFpXtQNmEUZ9TVYk4U6WWnw NqYg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708778744; x=1709383544; 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=JCi8NpChViokqH7DRFoSZsALmRKkuvDK0Ib/rL8/yi8=; b=sbcVxCWR1UJ2mVn1neeMFHuXcQrHEQeR1NoQAvLZUp/aos+JF24KYq6k3JOPfEvpN1 QUTPhl33L9Ll3Tmp468JjphocZV0G1ooj5dCaVi4hos817RFhpZF3P5aoEFfZPqx52SM N4uPDWCNmtLYj7QXudZkc7EA05oZpmAGRoh5Oq6qXlvNJrHvvyQR/0RjVBv8bK+jT4xe 7gxPo5mXCYFTGysPzTnarbMrfovPNj917jXdB4kFejnHSUhEh3gL/BrmDjCnEOnlS2QV dSXdlva5H7zyrpBTnjdOt2xpyE31KPCclrDaYO0pdFl5pZgdVWv6vs4n+LLSZuunF4qO 7qFQ== X-Gm-Message-State: AOJu0Yyr6zN2pnkKS48COyXEZefK3BzHZ1+1I/qPYJcXwYARqUvxNqHJ 5vcCrvzn6dVdvdZRaczfFfxfJu8FH55Myb+JxKqR7pm7WgFazHGSsu5gdG6QwnQ= X-Google-Smtp-Source: AGHT+IGqIdngS1Z14IZ7ZDy/hXjr9FKHVUGlhTBLMmrOAz9FmCQtI+rRb5zd58lEPJjefSHLLJpD6Q== X-Received: by 2002:a17:906:3749:b0:a3f:1055:28b7 with SMTP id e9-20020a170906374900b00a3f105528b7mr1523793ejc.63.1708778743695; Sat, 24 Feb 2024 04:45:43 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.43 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:43 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 10:17:45 +0100 Subject: [PATCH OPTIONAL 13/13] gnu: python: python-scikit-build: Add more non-deterministic test failures. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit to: 69352@debbugs.gnu.org X-Spam-Score: 1.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: * gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Also exclude “test_cxx_compiler” and “test_fortran_compiler”. --- This one might be a bit controversial, as I haven't repo [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 RCVD_IN_MSPIKE_H3 RBL: Good reputation (+3) [209.85.218.66 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.218.66 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Also exclude “test_cxx_compiler” and “test_fortran_compiler”. --- This one might be a bit controversial, as I haven't reported this issue upstream either, but I've noticed that some quite fundamental-seeming tests fail locally. Shouldn't happen on CI, but you never know. gnu/packages/python-xyz.scm | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 88dadb9f4a..dc99588ccb 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -31930,7 +31930,10 @@ (define-public python-scikit-build ;; nondeterministically (see: ;; https://github.com/scikit-build/scikit-build/issues/711). "and not test_generator_cleanup " - "and not test_generator_selection "))))) + "and not test_generator_selection " + ;; … and there's more of them + "and not test_cxx_compiler " + "and not test_fortran_compiler "))))) (add-after 'install 'install-cmake (lambda* (#:key outputs #:allow-other-keys) (let ((lib (string-append (assoc-ref outputs "out") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 07:54:25 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 12:54:25 +0000 Received: from localhost ([127.0.0.1]:54295 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrXs-0005dl-Vz for submit@debbugs.gnu.org; Sat, 24 Feb 2024 07:54:25 -0500 Received: from mail-lj1-f172.google.com ([209.85.208.172]:42164) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrXq-0005dK-G6 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:54:22 -0500 Received: by mail-lj1-f172.google.com with SMTP id 38308e7fff4ca-2d281d953e0so1180041fa.0 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:53:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708779172; x=1709383972; 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=lLFp7XLhku9HEpFRMmQCX+uINqYHuic9amRRJw+0bmc=; b=VaLTKyv8K/FTV5Rs17yE75kZQK/7eSpuxG4+dnGD4ysLCAlnWlMKY2PI1WWMOOpHMm L+vXrSgIrUJfalbkDm3jemst0YqrNnfYPv4n2r1/y6e9he5/fP8r24MaECxBAT5KcBls bO3bDmgGZyUUDmtA+qyXWLz3j+LIYy/fFc5C78vm5oekFGTcRHwGSWqOwSNa1F3GYXau IxGsycbZvGBrLUJ+bEFW4EYQHqWgx5Y1GdWGvl7qqNgIJd6NEg+45V51y5Hn7Ix0PC28 CkMfs6+lH+H/mqDntDKIgYKxusuLTpVszdywEvKWRKcrAipnl+Ksvq9Z//8IBS+vfShI be3A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708779172; x=1709383972; 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=lLFp7XLhku9HEpFRMmQCX+uINqYHuic9amRRJw+0bmc=; b=CEtEsKaf5kYxvSvl8G3YVlPqLiPOpaJNVVhdwxtbhMaYpfCzw0s+S4PwN9bkjTQQhS r+0eRmbRmy44qHdnAXHoTkgylqopJF8xCbLgW60Px9TsKrrTaxnTdH/ZpDwn/n9//uvA p6Jf7gHERf3ARNmScp2rOWrnr9LALWIfWC5tWZcEVfLUQYLHpoUjZfloUs65lO9hCer1 d7MGhGnr7kyRMw1TyAF6EAS6phF0uLIFYxUyUIr3Mi7P69GjndSyoIhMfKcqJEXBsCK3 aHVReFapJMVH4sS14uXG6LaQJTWbnbghCleZgeJp9Rrvftm49at2t23IM6C8HV3QIdMv tR0Q== X-Gm-Message-State: AOJu0YyyNksLjjQ7HJnAjoQvZNdWSQxcutfkkwzJuH3vlHh7l79hFQoy 62da01WJOFm8bTxeZuOJN5muLlK/1nWQdwaZeEqG6Ks6cugUDeJFCUewUkMn X-Google-Smtp-Source: AGHT+IFyFrINc62LCV/9wa4DiKO1oPcqVW2I2C1tMrSe/uudHY4Banw3ZXrrx5KJz7ZHQaSco5K16w== X-Received: by 2002:a17:906:6d09:b0:a43:4f4:e538 with SMTP id m9-20020a1709066d0900b00a4304f4e538mr291335ejr.10.1708778741032; Sat, 24 Feb 2024 04:45:41 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.40 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:40 -0800 (PST) Message-ID: <674aae1064fe68d4715f5904e466778b46868b94.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:57:41 +0100 Subject: [PATCH 09/13] gnu: python-clingo-dl: Fix build. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. [native-inputs]: Add python-scikit-build. --- gnu/packages/potassco.scm | 8 +++++++- 1 file changed, [...] Content analysis details: (1.1 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 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 [209.85.208.172 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.172 listed in wl.mailspike.net] 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for CMAKE_MODULE_PATH. [native-inputs]: Add python-scikit-build. --- gnu/packages/potassco.scm | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 16cff245e7..e1dbaefa98 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -411,7 +411,11 @@ (define-public python-clingo-dl (version (package-version clingo-dl)) (arguments (list - #:configure-flags #~'("-DPYCLINGODL_ENABLE=pip") + #:configure-flags + #~(list "-DPYCLINGODL_ENABLE=pip" + (string-append "-DCMAKE_MODULE_PATH=" + #$(this-package-native-input "python-scikit-build") + "/lib/cmake/modules")) #:tests? #f #:imported-modules `(,@%cmake-build-system-modules (guix build python-build-system)) @@ -433,6 +437,8 @@ (define-public python-clingo-dl (inputs (modify-inputs (package-inputs clingo-dl) (prepend python-wrapper))) (propagated-inputs (list python-clingo python-cffi)) + (native-inputs (modify-inputs (package-native-inputs clingo-dl) + (prepend python-scikit-build))) (synopsis "Python bindings for clingo-dl") (description "This package allows users to add the clingo-dl propagator as a theory to clingo from Python code. It also supports running clingo-dl -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 08:10:17 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 13:10:17 +0000 Received: from localhost ([127.0.0.1]:55269 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrnE-0006N6-Db for submit@debbugs.gnu.org; Sat, 24 Feb 2024 08:10:17 -0500 Received: from mail-lj1-f169.google.com ([209.85.208.169]:50544) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdrYu-0005gl-Kv for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 07:55:29 -0500 Received: by mail-lj1-f169.google.com with SMTP id 38308e7fff4ca-2d21a68dd3bso22132411fa.1 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 04:55:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708779239; x=1709384039; 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=+5pjgZX/CuHr6z90Gqb7g/3VAu9NkCMwkcPIJvAVVsc=; b=ZykGOkfjUJSD/CFRQHoUK5sJgRsP8lGyLXDZFXE2VmEVdwr69sqSZLcMK7Iiro5uZD zI85O5GutH8vif9QtDJ89H+MLkOrYa0RQ5tOA7+3g13C8vbLMpHGrZqYfizcYBzEhE6U FnNxkLL6rR2+DfmrAnaa0x5z4sdJPn069RCP+14rViNM2I/yZyZxDKABLkJ9f9jeHmF8 0Md4TtHRSwYwwLhYouY0MXaimY6fRJHXtIguIi6MlvQmt6i9cVdcLlwg/J9CHEt2uc6U up5ciGiKOhG28Lhr5iGhTOglvgbF4N0qlOpjXgP1A4Bk+PgpB9T4hCSyQN1jH9cXP4pr 2z/w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708779239; x=1709384039; 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=+5pjgZX/CuHr6z90Gqb7g/3VAu9NkCMwkcPIJvAVVsc=; b=HeU+7LzKR1a1mwq0g9GqI/9WzmeqQjfrZfpXxChXFHxoKFmWl+D9TKWkdejZTTvcjl +qz39+VPuH3SP0imzFV2VcUtPvrhW/QinGopMEG2cVHoABy9vV/kOVGmy4L+87oHGQrR aC5bfHDF4KJhRNdQeYalU599QUnaJ/axbIKPjrTcFqYM+2lRoIUVBQ3Xf23S7MikALZI piCcafgNPJ1+lCfPDlp0rgqr9vhc1Fnsi+fKKE1EgYNWglxrQbqg8dg2J67T8NBkSFrm GIqE+pNOM+gMfh95b+OM7NvvbbV0EfPrlV6CNlqiTN0fTJDjZFQplGsZ5VVfpdL5x0zx NHgw== X-Gm-Message-State: AOJu0YxQwxmrQq+BbiOBqSUkGkmlqmZr/pS+bVBwHIULn/NtWRVtgZDm ktsK9rTviLH9o3Y2z5xUkA6praXaxWuxlRAOkPxsTyPC5s2xRLSAxAO1VRCU X-Google-Smtp-Source: AGHT+IFO/UxztM2Ohls0MvzmuOP3F6s+l2AT+Jfi91j0b1xciW277GNegUZhKlsMq/fA+OcFRGFh+w== X-Received: by 2002:a17:907:37b:b0:a40:6e1:7f98 with SMTP id rs27-20020a170907037b00b00a4006e17f98mr1433521ejb.29.1708778739714; Sat, 24 Feb 2024 04:45:39 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.39 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:39 -0800 (PST) Message-ID: <427405ac7778213cd77ed4c2e547b159c109518b.1708771294.git.liliana.prikler@gmail.com> In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:55:41 +0100 Subject: [PATCH 07/13] gnu: clingo-dl: Update to 1.5.0. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (clingo-dl): Update to 1.5.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 fd049e2e73..5a59eeffef 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -233,7 +233,7 @@ (define-publi [...] Content analysis details: (1.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 [209.85.208.169 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.169 listed in wl.mailspike.net] -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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (clingo-dl): Update to 1.5.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 fd049e2e73..5a59eeffef 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -233,7 +233,7 @@ (define-public clingo (define-public clingo-dl (package (name "clingo-dl") - (version "1.4.0") + (version "1.5.0") (source (origin (method git-fetch) (uri (git-reference @@ -241,7 +241,7 @@ (define-public clingo-dl (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "0dncwj63vdm6958vb7355d5j9mdr7hm037j4z82yz6l77jg3sipw")))) + (base32 "0vf51pgwgiac801gr6w5pnxb6wa0kacz09ncrcn25w5siz17g4si")))) (build-system cmake-build-system) (arguments (list #:tests? #f ; no tests #:configure-flags #~`("-DPYCLINGODL_ENABLE=off"))) -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Sat Feb 24 08:43:39 2024 Received: (at 69352) by debbugs.gnu.org; 24 Feb 2024 13:43:39 +0000 Received: from localhost ([127.0.0.1]:57184 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdsJV-0007pb-T7 for submit@debbugs.gnu.org; Sat, 24 Feb 2024 08:43:39 -0500 Received: from mail-lj1-f176.google.com ([209.85.208.176]:49165) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rdsJS-0007pG-U3 for 69352@debbugs.gnu.org; Sat, 24 Feb 2024 08:43:36 -0500 Received: by mail-lj1-f176.google.com with SMTP id 38308e7fff4ca-2d2531294faso27660851fa.2 for <69352@debbugs.gnu.org>; Sat, 24 Feb 2024 05:43:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708782125; x=1709386925; 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=P4AtLwaMeOAZZHQD/mZNPMrIkIsW30M7WgwumVXqraQ=; b=U1tuzlsgDFAnoopCKGyDaP9tUfahTjOe+AweQFKrNlDhOJ4YyWV0hC4Moxni2yf/CJ Y+r7F5+7wSdMosApyWXj3G+5E9DKkh5cMC1il5QHDuNpqxYPBs2+L5KB4IZvLwTq0hr8 628z+Gtvg34/lXS6LkWKZYtaCjR9gIgp8lMmbmi3IP4Y/DjiFc++RPZuygF98j80FvHp tsDrXUEFleLQLSNtVT/VippHkn/GMsq5a+fOmSAVSm29R61mHaqtC1vsXTrlzbn71SHY hvMHcYBniDOyy9a0wluiJQd9RF7vOfSNpQTnXvnQGiu0Vyt9+1LhDu+ogXFkBJsn9V2L lUNw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708782125; x=1709386925; 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=P4AtLwaMeOAZZHQD/mZNPMrIkIsW30M7WgwumVXqraQ=; b=c86f5azaeGX+1PXIiRP54ROb8vYR3yZiu5vzhPokDy4TYZ2qAt6F7lIWT+saZb0suP LI22GzltrFoDhntcjGgJ+CYh7DK/MkkM/X56XC3IMGevGCs9lo5Bf5oAB09LzN5myEqB 7YSjrlaVT46h8VRNuyohxH1Yuk4xgmfcx995NHYX3qY0KT5zaCKCLEmXH33NBoFMZ+8B BQnM9SdTqVO7t+SWuJ4TVtFdQNBelx/sqq2jv+kLk/BfG+ikKZOT3IYBItomeKOQObEu 10Ye1bHLcphR8Z591niP0PRwqJqMc6f77ODVQFxQGQTNMTeBq2WBHxFbg/olcI7o950p kOsg== X-Gm-Message-State: AOJu0YwwKh6dyaQeui/eXdKh5OSMUg4ik4I9BxpM528F5FUUMeSF0G6p 9gAeBdytUksGST5lREpb5EmyKUl9w6acJD2g07rFhJx+diPSwnf46yiRAOu/ X-Google-Smtp-Source: AGHT+IE955rAiCeIzBxyXaV/LTAm7YXm9PUe+5aysA7xw/JDBSYkBVd5sbBmkwHrjEnacTVUM+GZbg== X-Received: by 2002:a17:906:f9ce:b0:a3e:9ddf:9f68 with SMTP id lj14-20020a170906f9ce00b00a3e9ddf9f68mr1506837ejb.43.1708778741740; Sat, 24 Feb 2024 04:45:41 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id lf6-20020a170906ae4600b00a3d12d84cffsm551900ejb.167.2024.02.24.04.45.41 for <69352@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 24 Feb 2024 04:45:41 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:58:52 +0100 Subject: [PATCH 10/13] gnu: python-clorm: Update to 1.5.0. to: 69352@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.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: * gnu/packages/potassco.scm (python-clorm): Update to 1.5.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 e1dbaefa98..a9dc34f0d4 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -447,7 +447,7 @@ (define-publi [...] Content analysis details: (1.1 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) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date 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 [209.85.208.176 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.176 listed in wl.mailspike.net] 0.0 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 69352 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 (/) * gnu/packages/potassco.scm (python-clorm): Update to 1.5.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 e1dbaefa98..a9dc34f0d4 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -447,7 +447,7 @@ (define-public python-clingo-dl (define-public python-clorm (package (name "python-clorm") - (version "1.4.1") + (version "1.5.0") (source (origin (method git-fetch) (uri (git-reference @@ -456,7 +456,7 @@ (define-public python-clorm (file-name (git-file-name name version)) (sha256 (base32 - "0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5")))) + "1wbxniq60ph7bdaypcaahym7jxmlnm2zhrfmrgrk441i1iaida24")))) (build-system pyproject-build-system) (arguments (list #:phases -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 05 03:22:58 2024 Received: (at 69352-done) by debbugs.gnu.org; 5 Mar 2024 08:22:58 +0000 Received: from localhost ([127.0.0.1]:45998 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rhQ4g-0006s6-9v for submit@debbugs.gnu.org; Tue, 05 Mar 2024 03:22:58 -0500 Received: from mail-wr1-f47.google.com ([209.85.221.47]:61598) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rhQ4d-0006rs-ER for 69352-done@debbugs.gnu.org; Tue, 05 Mar 2024 03:22:57 -0500 Received: by mail-wr1-f47.google.com with SMTP id ffacd0b85a97d-33d9c3f36c2so228454f8f.2 for <69352-done@debbugs.gnu.org>; Tue, 05 Mar 2024 00:22:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1709626879; x=1710231679; darn=debbugs.gnu.org; h=in-reply-to:content-disposition:mime-version:references :mail-followup-to:message-id:subject:cc:to:from:date:sender:from:to :cc:subject:date:message-id:reply-to; bh=CaxXV+AcCD41OtcLHeN6qCZPxdb9DNVdsD0DVEpahVg=; b=QnUxUQFf+4XRAP3NT2Q93jF3930ZAUqnEjtt/zZMMG/qVyQrvxOHQdloDbNvAwJchm z6mXsLxZSBdtRc9p0Y0t+oIckJF4iYI248LJeYvXj+As3Lw4XnH2NUmPZPbfB7UgVQMd 5byhlkB4ah4hmJq7/1WwQg8vQCRUuRusL3BGAlRsf3qzMs3hTQr/zeaWqIBFq9upKFBa Z6qun7EjM5PbGJ3WM6eznK2Dik9uNa/UbwREyp6WiIGnyGCeatlP2plpFIL6c3rPBCB4 zY7/dmbMKeHJYwNOSmtL1WBQteIp+SA/Li651odP+dpmYGXRqTyWbWnrvgjs7Ok3Yaiv L3Fg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709626879; x=1710231679; h=in-reply-to:content-disposition:mime-version:references :mail-followup-to:message-id:subject:cc:to:from:date:sender :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=CaxXV+AcCD41OtcLHeN6qCZPxdb9DNVdsD0DVEpahVg=; b=Q3eBk0Ytp9LWqaq+BRwd8UDVffavsm72KMES9Y4lSkngMA2G26/7wU7RpGyq8/j5yN 8kDve966J3kxWmYo5oWmdT9OtqOXN4st7pjzhhm92bwqmDRbMQiYbrdXylNfwc8Z3SiX oAVY/y42L72BLM5Rj/14nP+Q6ZATHHSsNp8prFF3Oh+D1i2zYM3sMbvVO2McslJWgvgS 2Xz9wav0EJWIkg2CsVtUyz6EM9xs6903c31beJ/nXo5mOSudM9gbtU+5GJoAfH7GCFP1 cXD0txdpFln84S3zqnVl8xfVhfd/g6PsTTflAVoJi5a4Wd3TVUOqAOLBhyeYE9nmNRUH 43Cw== X-Gm-Message-State: AOJu0YyT01YmpC9qYStIVpiIRsPcQMscKGASOE6l1KEAzMR6/JHw5vnv AGmmoWk2sewGHTyXgPHz/A23+IKk0tgZ0hMftIvE/pJX7HRHroLk X-Google-Smtp-Source: AGHT+IHkjqVRDUYCUBBDL1T3OfrjoAuWhgQUc3pcId75cL/6uPDKeEKXlGhTaVPMamp+i54zNcB8Tg== X-Received: by 2002:a5d:664f:0:b0:33d:c29d:2219 with SMTP id f15-20020a5d664f000000b0033dc29d2219mr10702025wrw.8.1709626879451; Tue, 05 Mar 2024 00:21:19 -0800 (PST) Received: from localhost ([141.226.12.177]) by smtp.gmail.com with ESMTPSA id ay1-20020a5d6f01000000b0033e22a7b3f8sm10806246wrb.75.2024.03.05.00.21.18 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 05 Mar 2024 00:21:19 -0800 (PST) Date: Tue, 5 Mar 2024 10:21:17 +0200 From: Efraim Flashner To: Liliana Marie Prikler Subject: Re: [bug#69352] [PATCH 00/13] Update Clingo to 5.7.1, etc pp Message-ID: Mail-Followup-To: Efraim Flashner , Liliana Marie Prikler , 69352-done@debbugs.gnu.org References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="P23Cv1SFpyArj2JK" Content-Disposition: inline In-Reply-To: X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 X-Spam-Score: 0.2 (/) X-Debbugs-Envelope-To: 69352-done Cc: 69352-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.8 (/) --P23Cv1SFpyArj2JK Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable These patches are applied to master. Closing! --=20 Efraim Flashner =D7=A8=D7=A0=D7=A9=D7=9C=D7=A4 = =D7=9D=D7=99=D7=A8=D7=A4=D7=90 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --P23Cv1SFpyArj2JK Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmXm1f0ACgkQQarn3Mo9 g1GJrw/9F6CwKeOu9R07hp1965wzRdLlGVHWmG3sAINuh8Y5/F5tzze9kww+DShq kFIdvlkHaomao6Mf+Yk48uoegqkOiRj8p/cI6B044HwQPk+FxegIHRf6LDE+A0f0 TqbPd+wBnQ23Bf68V0uz4GTbGEO5KbIjgh3Asn4cTXFfVFtcpRnZ3mbgkRFrokS9 UwjeP1QuXJoGr5Pdw0u1ZglIO5yyzBJQBJauGBmxkoK1666ukXxXHIiCPQyV5Mhq UXoz0dPfyhuTv2zk+tWEaiCXEtMNhQFY1MMDzNZ2S+ZtJ+0bv2RGqJZkKL3fuCh3 8Lrb775wJ8btbBaI4A1t13rx2IlRSXxdqNbthwZ/ToAM3G8M1bGFQ+gRvYekYL3l 9tcjt3ozdyHjn4yWrrpp8Me37sa+vw5MC3nLmOewnKGx/UwCNj9BWdiSxvX1UjNl aoCuQLY6HRVYyYOYdj+cCh9yzaLZfXdOvc0o2M1dG2z3uv243pq0nNXPfwGww71m 5gFMLqKvHOWHQJ1yM3NCIpal2FhTVpHtyhX3qpaLFc5K6wKU3A8A6QswBfZktrey jXtg7Rka8FhUMTgEg4IQ+alTQbGWeI1+5bdjQwnqVtm9luS1xT665o7tE5PL/wX8 qNsLsUmxWTUEvtAy7mQctbZVY1cF+P6Mpgvi6CAVBCNJKt1ypo0= =fG0t -----END PGP SIGNATURE----- --P23Cv1SFpyArj2JK-- From unknown Sat Sep 06 00:11:11 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 02 Apr 2024 11:24:21 +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