Nicolas Graves <ngraves@HIDDEN>
to control <at> debbugs.gnu.org
.
Full text available.Received: (at 70769) by debbugs.gnu.org; 14 May 2024 05:50:35 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 14 01:50:35 2024 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> Subject: Re: [bug#70769] [PATCH] gnu: Add python-clintest. From: Liliana Marie Prikler <liliana.prikler@HIDDEN> To: Nicolas Graves <ngraves@HIDDEN>, 70769 <at> debbugs.gnu.org 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-Debbugs-Envelope-To: 70769 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
guix-patches@HIDDEN
:bug#70769
; Package guix-patches
.
Full text available.Received: (at 70769) by debbugs.gnu.org; 13 May 2024 07:11:03 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Mon May 13 03:11:03 2024 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> To: Liliana Marie Prikler <liliana.prikler@HIDDEN>, 70769 <at> debbugs.gnu.org Subject: Re: [bug#70769] [PATCH] gnu: Add python-clintest. 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-Debbugs-Envelope-To: 70769 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
guix-patches@HIDDEN
:bug#70769
; Package guix-patches
.
Full text available.Received: (at submit) by debbugs.gnu.org; 4 May 2024 07:54:10 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat May 04 03:54:10 2024 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 Subject: [PATCH] gnu: Add python-clintest. to: guix-patches@HIDDEN 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-Debbugs-Envelope-To: submit 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
Liliana Marie Prikler <liliana.prikler@HIDDEN>
:guix-patches@HIDDEN
.
Full text available.guix-patches@HIDDEN
:bug#70769
; Package guix-patches
.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.