X-Loop: help-debbugs@HIDDEN Subject: [bug#70769] [PATCH] gnu: Add python-clintest. Resent-From: Liliana Marie Prikler <liliana.prikler@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Sat, 04 May 2024 07:55:02 +0000 Resent-Message-ID: <handler.70769.B.171480925028142 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: report 70769 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70769 <at> debbugs.gnu.org X-Debbugs-Original-To: guix-patches@HIDDEN Received: via spool by submit <at> debbugs.gnu.org id=B.171480925028142 (code B ref -1); Sat, 04 May 2024 07:55:02 +0000 Received: (at submit) by debbugs.gnu.org; 4 May 2024 07:54:10 +0000 Received: from localhost ([127.0.0.1]:51868 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s3ADh-0007Jq-St for submit <at> debbugs.gnu.org; Sat, 04 May 2024 03:54:10 -0400 Received: from lists.gnu.org ([2001:470:142::17]:58906) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <liliana.prikler@HIDDEN>) id 1s3ADd-0007JT-6Z for submit <at> debbugs.gnu.org; Sat, 04 May 2024 03:54:08 -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 <liliana.prikler@HIDDEN>) id 1s3AD9-0008OP-Q4 for guix-patches@HIDDEN; Sat, 04 May 2024 03:53:35 -0400 Received: from mail-wr1-x442.google.com ([2a00:1450:4864:20::442]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <liliana.prikler@HIDDEN>) id 1s3AD8-0000nq-5N for guix-patches@HIDDEN; Sat, 04 May 2024 03:53:35 -0400 Received: by mail-wr1-x442.google.com with SMTP id ffacd0b85a97d-34e0d47bd98so1550760f8f.0 for <guix-patches@HIDDEN>; Sat, 04 May 2024 00:53:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1714809212; x=1715414012; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=qiUCHQLhgD2M0iEQNntG2uf5OXqQf15painyw7H+rL8=; b=R//BvC79qLWpBrauXE6agJwb7fAir87hupJddiAHqoPZ6vy242KritLc1DrbV2tzLJ HzbkOQGQkRWg+j1idCLCQZBTDkd8uz3KOc87CebI0NKuRTsPvwB8RIPNFD2Dv/gR8oLy 1+xJL46sdoS9FSQV8ycUWFjKrK0rtfJvi3Wccy4FjEGDzONOaP6qOKlWK+PqBQJZC/J2 dtsS96Up9lQHTVhU3ztTE9OU16Gn0QFzMQXFQpbOlxzWs8OocejTmLU0rNw418DQqUoA sHRm0mQE4nUE2ivfSBVnrjXz1MkEKF3N4ADV0Ukg1XNOHZJGT6LoFma1w4i0FTi5Qrlr kHdA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1714809212; x=1715414012; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=qiUCHQLhgD2M0iEQNntG2uf5OXqQf15painyw7H+rL8=; b=r2IYPkICA9485PxXIMl0yr/pfHTi/oKdH7FJzCyZu+vinKEkYJBxv8dlfwkrGb2lkI rqd3DLJaZhbgqAnVPPZV2sex7YvhSn5BNPndsyneszX2Ut5TljN+2vPm6ZdUV1cdP1dn u14u61qyhLXqiF7eKyzjKkWD2yWxYJ9SdAg/7JqeQFbCqEcKtIi30I/MWf3izmsq6akr XUpLk3YX1lTu2x6q0mobXGYgacVv7vsMBFAE35WxprbrXR4DLrNKdI3XopGmFok6FCF9 zdHOLZgb0S0dvkFnr/t/s9ZxH2hoPZfD1TZ9+JtiQt4cerC3lW0FEu7tmxfcqg2bV2s0 0O6A== X-Gm-Message-State: AOJu0YxWf+jz0gba45YdqyN/VrrSnrxx3tivZAORJM3tQBn/Q79fTORF DnqexctHAw7fEqvcJY9LDaBvHx/KqAjRwRraqg/2+soenvBl07fbbWQ7ZvS5 X-Google-Smtp-Source: AGHT+IGruYSCmYsgIrYOgNPzAdOREllMV2W+/5jH1tafFO++aTK5Tf29RESFyO4zXqSe1TLUQwX5bg== X-Received: by 2002:adf:f689:0:b0:346:46cf:9f78 with SMTP id v9-20020adff689000000b0034646cf9f78mr7584917wrp.26.1714809212560; Sat, 04 May 2024 00:53:32 -0700 (PDT) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id v28-20020a5d591c000000b0034db47c7e6dsm5608410wrd.115.2024.05.04.00.53.31 for <guix-patches@HIDDEN> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 04 May 2024 00:53:32 -0700 (PDT) Message-ID: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN> From: Liliana Marie Prikler <liliana.prikler@HIDDEN> Date: Sat, 4 May 2024 08:31:43 +0200 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::442; envelope-from=liliana.prikler@HIDDEN; helo=mail-wr1-x442.google.com X-Spam_score_int: -4 X-Spam_score: -0.5 X-Spam_bar: / X-Spam_report: (-0.5 / 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=1.581, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 2.7 (++) 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-clintest): New variable. --- gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 43d9ea6647..6a124c5bba 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -612,3 +612,27 @@ (define-publ [...] Content analysis details: (2.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.8 MALFORMED_FREEMAIL Bad headers on message from free email service X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 1.7 (+) 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-clintest): New variable. --- gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 43d9ea6647..6a124c5bba 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -612,3 +612,27 @@ (define-publ [...] Content analysis details: (1.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 1.8 MALFORMED_FREEMAIL Bad headers on message from free email service -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/potassco.scm (python-clintest): New variable. --- gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 43d9ea6647..6a124c5bba 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -612,3 +612,27 @@ (define-public python-clinguin (description "Clinguin is a graphical user interface toolkit for clingo, which allows user interfaces to be specified entirely as a logic program.") (license license:expat))) + +(define-public python-clintest + (package + (name "python-clintest") + (version "0.2.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clintest") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0xzbby9ram55h87ykm652kgm45b8rlhbjc8gjkz308h1jnjllmmy")))) + (build-system pyproject-build-system) + (inputs (list python-clingo)) + (home-page "https://potassco.org/clintest/") + (synopsis "Test framework for clingo programs") + (description "Clintest is a framework for unit testing clingo programs. +It provides various components to assemble the most commonly used tests quickly, +but also works fine along custom-built test. Clintest monitors the test +outcome while solving to abort the search for solutions once the outcome is +certain.") + (license license:expat))) base-commit: 5c13ab50b9c7d44238c64e5337027f04ae1d9223 -- 2.41.0
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Liliana Marie Prikler <liliana.prikler@HIDDEN> Subject: bug#70769: Acknowledgement ([PATCH] gnu: Add python-clintest.) Message-ID: <handler.70769.B.171480925028142.ack <at> debbugs.gnu.org> References: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN> X-Gnu-PR-Message: ack 70769 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 70769 <at> debbugs.gnu.org Date: Sat, 04 May 2024 07:55:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 70769 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 70769: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D70769 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
X-Loop: help-debbugs@HIDDEN Subject: [bug#70769] [PATCH] gnu: Add python-clintest. Resent-From: Nicolas Graves <ngraves@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Mon, 13 May 2024 07:12:01 +0000 Resent-Message-ID: <handler.70769.B70769.171558426313236 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70769 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Liliana Marie Prikler <liliana.prikler@HIDDEN>, 70769 <at> debbugs.gnu.org Received: via spool by 70769-submit <at> debbugs.gnu.org id=B70769.171558426313236 (code B ref 70769); Mon, 13 May 2024 07:12:01 +0000 Received: (at 70769) by debbugs.gnu.org; 13 May 2024 07:11:03 +0000 Received: from localhost ([127.0.0.1]:58987 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s6Ppv-0003RQ-3n for submit <at> debbugs.gnu.org; Mon, 13 May 2024 03:11:03 -0400 Received: from 15.mo584.mail-out.ovh.net ([91.121.62.11]:45709) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ngraves@HIDDEN>) id 1s6Ppp-0003R1-Ve for 70769 <at> debbugs.gnu.org; Mon, 13 May 2024 03:11:01 -0400 Received: from director4.ghost.mail-out.ovh.net (unknown [10.108.17.95]) by mo584.mail-out.ovh.net (Postfix) with ESMTP id 4Vd9cv73qRz1Gmc for <70769 <at> debbugs.gnu.org>; Mon, 13 May 2024 07:10:55 +0000 (UTC) Received: from ghost-submission-6684bf9d7b-pk9pd (unknown [10.111.182.122]) by director4.ghost.mail-out.ovh.net (Postfix) with ESMTPS id 6D5411FEA2; Mon, 13 May 2024 07:10:54 +0000 (UTC) Received: from ngraves.fr ([37.59.142.98]) by ghost-submission-6684bf9d7b-pk9pd with ESMTPSA id Jl3tDv68QWbiWwIA8yp29w (envelope-from <ngraves@HIDDEN>); Mon, 13 May 2024 07:10:54 +0000 Authentication-Results: garm.ovh; auth=pass (GARM-98R002a83212f6-8356-4305-8b61-9c84a065b2eb, AFD3D7969371CC029319C969337B9752385513BA) smtp.auth=ngraves@HIDDEN X-OVh-ClientIp: 80.214.128.58 From: Nicolas Graves <ngraves@HIDDEN> In-Reply-To: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN> References: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN> Date: Mon, 13 May 2024 09:10:53 +0200 Message-ID: <87y18eb30i.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain X-Ovh-Tracer-Id: 13618603799140426348 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgedvledrvdegfedguddugecutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjpdevjffgvefmvefgnecuuegrihhlohhuthemucehtddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefhvffujghffffkgggtsehttdertddttddtnecuhfhrohhmpefpihgtohhlrghsucfirhgrvhgvshcuoehnghhrrghvvghssehnghhrrghvvghsrdhfrheqnecuggftrfgrthhtvghrnhephffhffejleduveethfekhfdvvddthfelieevteefueeikefhudeiudegiedufeetnecuffhomhgrihhnpehgihhthhhusgdrtghomhdpphhothgrshhstghordhorhhgnecukfhppeduvdejrddtrddtrddupdektddrvddugedruddvkedrheekpdefjedrheelrddugedvrdelkeenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepihhnvghtpeduvdejrddtrddtrddupdhmrghilhhfrhhomhepnhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrpdhnsggprhgtphhtthhopedupdhrtghpthhtohepjedtjeeileesuggvsggsuhhgshdrghhnuhdrohhrghdpoffvtefjohhsthepmhhoheekgedpmhhouggvpehsmhhtphhouhht X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) On 2024-05-04 08:31, Liliana Marie Prikler wrote: > * gnu/packages/potassco.scm (python-clintest): New variable. > --- > gnu/packages/potassco.scm | 24 ++++++++++++++++++++++++ > 1 file changed, 24 insertions(+) > > diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm > index 43d9ea6647..6a124c5bba 100644 > --- a/gnu/packages/potassco.scm > +++ b/gnu/packages/potassco.scm > @@ -612,3 +612,27 @@ (define-public python-clinguin > (description "Clinguin is a graphical user interface toolkit for clingo, > which allows user interfaces to be specified entirely as a logic program.") > (license license:expat))) > + > +(define-public python-clintest > + (package > + (name "python-clintest") > + (version "0.2.0") > + (source (origin > + (method git-fetch) > + (uri (git-reference > + (url "https://github.com/potassco/clintest") > + (commit (string-append "v" version)))) > + (file-name (git-file-name name version)) > + (sha256 > + (base32 > + "0xzbby9ram55h87ykm652kgm45b8rlhbjc8gjkz308h1jnjllmmy")))) > + (build-system pyproject-build-system) > + (inputs (list python-clingo)) You can add (native-inputs (list python-pytest)) to enable tests properly. There are quite some tests that are failing for some reason (10/31), it's unclear why at first glance. We probably should add this native-input and ignore failing tests. Otherwise LGTM, builds properly. > + (home-page "https://potassco.org/clintest/") > + (synopsis "Test framework for clingo programs") > + (description "Clintest is a framework for unit testing clingo programs. > +It provides various components to assemble the most commonly used tests quickly, > +but also works fine along custom-built test. Clintest monitors the test > +outcome while solving to abort the search for solutions once the outcome is > +certain.") > + (license license:expat))) > > base-commit: 5c13ab50b9c7d44238c64e5337027f04ae1d9223 -- Best regards, Nicolas Graves
X-Loop: help-debbugs@HIDDEN Subject: [bug#70769] [PATCH] gnu: Add python-clintest. Resent-From: Liliana Marie Prikler <liliana.prikler@HIDDEN> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> Resent-CC: guix-patches@HIDDEN Resent-Date: Tue, 14 May 2024 05:51:02 +0000 Resent-Message-ID: <handler.70769.B70769.171566583531248 <at> debbugs.gnu.org> Resent-Sender: help-debbugs@HIDDEN X-GNU-PR-Message: followup 70769 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Nicolas Graves <ngraves@HIDDEN>, 70769 <at> debbugs.gnu.org Received: via spool by 70769-submit <at> debbugs.gnu.org id=B70769.171566583531248 (code B ref 70769); Tue, 14 May 2024 05:51:02 +0000 Received: (at 70769) by debbugs.gnu.org; 14 May 2024 05:50:35 +0000 Received: from localhost ([127.0.0.1]:37177 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s6l3a-00087w-ND for submit <at> debbugs.gnu.org; Tue, 14 May 2024 01:50:34 -0400 Received: from mail-wm1-f67.google.com ([209.85.128.67]:57565) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <liliana.prikler@HIDDEN>) id 1s6l3X-00087o-LY for 70769 <at> debbugs.gnu.org; Tue, 14 May 2024 01:50:33 -0400 Received: by mail-wm1-f67.google.com with SMTP id 5b1f17b1804b1-420116a6652so17476805e9.2 for <70769 <at> debbugs.gnu.org>; Mon, 13 May 2024 22:50:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1715665765; x=1716270565; 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=ZHEPCNds5/Ssi/Xi0+S/wJ7QzDSk2vB9KE3TEXMe9ws=; b=X/YKqq/NYOL0DujRwi44IjsJVY9eb8ETGgjsT6PjLfAnUW1uNf8woE6cuVWh42WcIY x1FIqKqprdpHn4tuTUs0+2oJOlkQxXRBhAu6Ud68E4nY4lCW999vb7Fjw1lwsCchDUrk s6KfAOECg3UGQooJDozPXjLtYFE7lzpT2N6xIomehos5sIpcWbjyGTXE/RHypRcgqsmv NgKDmP4IvDVgrACvkwLot2ye8hvaR6Pz22EhkBnXxV7mNAh+fuPmSbegAcGPfsg6eKEs bfXj/yPheFWHnKXHQ3mXllVixfkEySqy/EBXGeQQfxuHbtYXq0v0JU/Z7w7n3zTtV59N FDrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715665765; x=1716270565; 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=ZHEPCNds5/Ssi/Xi0+S/wJ7QzDSk2vB9KE3TEXMe9ws=; b=Rll1149wMR67O47TwRbEKVloscDiUjMAci3E9fxQCIXvTmvc2cMBhi4f0ywqP/L0c+ gwfSEbpToIgAGqije6wBSmA6xTfgeXkzYtObs4roYivYLwIlK9QWpbryd0nZIPq6J/mq afaf/4LMZL1xYo1kV89RM8Gbf4rOWHMGXBZVrKbzPrBmF+eHM1VCCea6fK0aqCMbcd6E egRrnaqIKx0wcjIyflhPx24TGaOHK/eVoorfVOWMbvmmcqICRgUVAhm0lpOmwB9m9MUE OOKaL2qTfXQdoorYJ4Boy6cVmKkkMUSnMQG8hYs+L0Op94icnSYo4AeT2knETtXeXtom 4KFg== X-Forwarded-Encrypted: i=1; AJvYcCVP2eJ8AUWqaRdC7rBVjxij/YfYQGZjccG5/BGynBsGfL+nxg5lt7taCNcy0p+nI/xyTRYHLAHZSTWO5ZVGJDInYaSdcIg= X-Gm-Message-State: AOJu0YwpOChSg2FjJ94ZqUW4SCjuRJY01Z3qG9x66wRPUeiFbKPxM9wD vD1chru1IX5qZmqWNKESNeVfTxRDVqho2RzZGKNL6f4oacr7XR56l897we6s X-Google-Smtp-Source: AGHT+IEhiAnhf4hgNwH9ZjRQcgSuF18ildpatQmqwXRuEkFk7AToHtMtRORangvak71HHkekFS5IzA== X-Received: by 2002:a05:600c:154f:b0:420:1375:95ae with SMTP id 5b1f17b1804b1-420137596d5mr49202415e9.24.1715665764949; Mon, 13 May 2024 22:49:24 -0700 (PDT) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-41fccce9431sm176790645e9.28.2024.05.13.22.49.24 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 13 May 2024 22:49:24 -0700 (PDT) Message-ID: <d222ee0c72949eae018865fdffabe69a94034c1b.camel@HIDDEN> From: Liliana Marie Prikler <liliana.prikler@HIDDEN> Date: Tue, 14 May 2024 07:49:23 +0200 In-Reply-To: <87y18eb30i.fsf@HIDDEN> References: <9a730ca2b2a4f5b64083da4f6985745ca29264ca.1714808929.git.liliana.prikler@HIDDEN> <87y18eb30i.fsf@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.48.4 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Am Montag, dem 13.05.2024 um 09:10 +0200 schrieb Nicolas Graves: > You can add (native-inputs (list python-pytest)) to enable tests > properly. There are quite some tests that are failing for some reason > (10/31), it's unclear why at first glance. >=20 > We probably should add this native-input and ignore failing tests. >=20 > Otherwise LGTM, builds properly. It appears to be a known issue from python-clingo already =E2=80=93 we'll s= till have to figure out the root cause for that as well. Added a fixme and pushed. Thanks
Received: (at control) by debbugs.gnu.org; 14 May 2024 20:20:05 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 14 16:20:05 2024 Received: from localhost ([127.0.0.1]:41337 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1s6yd3-0007Yn-HM for submit <at> debbugs.gnu.org; Tue, 14 May 2024 16:20:05 -0400 Received: from 8.mo561.mail-out.ovh.net ([87.98.172.249]:42243) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ngraves@HIDDEN>) id 1s6yd1-0007YW-H7 for control <at> debbugs.gnu.org; Tue, 14 May 2024 16:20:04 -0400 Received: from director8.ghost.mail-out.ovh.net (unknown [10.109.139.154]) by mo561.mail-out.ovh.net (Postfix) with ESMTP id 4Vf74w0wgbz1QPH for <control <at> debbugs.gnu.org>; Tue, 14 May 2024 20:20:00 +0000 (UTC) Received: from ghost-submission-6684bf9d7b-z9nzf (unknown [10.110.113.27]) by director8.ghost.mail-out.ovh.net (Postfix) with ESMTPS id ED1061FE63 for <control <at> debbugs.gnu.org>; Tue, 14 May 2024 20:19:59 +0000 (UTC) Received: from ngraves.fr ([37.59.142.105]) by ghost-submission-6684bf9d7b-z9nzf with ESMTPSA id d7zhNm/HQ2YB0gUAc+XFtg (envelope-from <ngraves@HIDDEN>) for <control <at> debbugs.gnu.org>; Tue, 14 May 2024 20:19:59 +0000 Authentication-Results: garm.ovh; auth=pass (GARM-105G00614bb8d01-02ac-4ca0-bf2f-90866c934090, FB6FD368DB1A33EEB5BF94B3542A6D01FB5CDC61) smtp.auth=ngraves@HIDDEN X-OVh-ClientIp: 81.67.146.208 From: Nicolas Graves <ngraves@HIDDEN> To: control <at> debbugs.gnu.org Subject: control message for bug #70769 Date: Tue, 14 May 2024 22:19:59 +0200 Message-ID: <874jb0p2mo.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain X-Ovh-Tracer-Id: 14370986414422352485 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgedvledrvdegiedgudegjecutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjpdevjffgvefmvefgnecuuegrihhlohhuthemucehtddtnecunecujfgurhephffvufffkfggtgesthdtredttddttdenucfhrhhomheppfhitgholhgrshcuifhrrghvvghsuceonhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrqeenucggtffrrghtthgvrhhnpeeujeelieeljeffhfelteejtdeljeehveduffelvefgudefkeehgfdvvdevgeevfeenucfkphepuddvjedrtddrtddruddpkedurdeijedrudegiedrvddtkedpfeejrdehledrudegvddruddtheenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepihhnvghtpeduvdejrddtrddtrddupdhmrghilhhfrhhomhepnhhgrhgrvhgvshesnhhgrhgrvhgvshdrfhhrpdhnsggprhgtphhtthhopedupdhrtghpthhtoheptghonhhtrhholhesuggvsggsuhhgshdrghhnuhdrohhrghdpoffvtefjohhsthepmhhoheeiuddpmhhouggvpehsmhhtphhouhht X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) close 70769 quit -- Best regards, Nicolas Graves
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.