From unknown Thu Aug 21 14:54:05 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#67232] [PATCH] gnu: Add clingo-dl. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 16 Nov 2023 18:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 67232 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 67232@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17001593459136 (code B ref -1); Thu, 16 Nov 2023 18:30:02 +0000 Received: (at submit) by debbugs.gnu.org; 16 Nov 2023 18:29:05 +0000 Received: from localhost ([127.0.0.1]:44488 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3h6v-0002NH-5V for submit@debbugs.gnu.org; Thu, 16 Nov 2023 13:29:05 -0500 Received: from lists.gnu.org ([2001:470:142::17]:58986) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3h6q-0002Mi-M7 for submit@debbugs.gnu.org; Thu, 16 Nov 2023 13:29:04 -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 1r3h6j-0003EB-Cw for guix-patches@gnu.org; Thu, 16 Nov 2023 13:28:53 -0500 Received: from mail-wr1-x444.google.com ([2a00:1450:4864:20::444]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r3h6e-0001Vu-BQ for guix-patches@gnu.org; Thu, 16 Nov 2023 13:28:53 -0500 Received: by mail-wr1-x444.google.com with SMTP id ffacd0b85a97d-32fbf271346so769234f8f.1 for ; Thu, 16 Nov 2023 10:28:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700159325; x=1700764125; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=/8ziovKS0whhwPmxYgkNhUFqO2EyU3wAYUY/pVoZax0=; b=FlBELx3Aw2KH/gNvm/Uy8RrBLqi8a9geB8FPdxz/uMWNaiAPOL03u1DOiNkA21VXsj tkaFxwxtpdsdusy7/B2LHp9+VmTcNN/2OixuO20POYqGcodBWlAw+6S9kMMGGvSvOqNI n0uO5uYstAaHGmAzhlokHUAP37gxKozTvxy564IlYxAXmS4IALzsJk7Pzao4uJSOHVsS b/BZFNxYuD4wHLAKhA7Qt/sci3k3bxDBze47RJ2uwtd8vJy64wgqoN8xlsdZxLqmrkRt 1AnuFDzLAfpkFvotgk6cLsv74p0CxM41gY1Uh41pJn7Qejsq6DoVGrA+bknBMXzLmU/c cbQA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700159325; x=1700764125; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=/8ziovKS0whhwPmxYgkNhUFqO2EyU3wAYUY/pVoZax0=; b=kgrkE4Oz444hD3npl2OxZpRU60dsW70n0Wliv04gfMoiok15V4K1Pef/VcEQZOox0O PvjDL5EJ70fbZ59aOj1ySpf2m4fpDihaM0GR251yHxyckpuYBuPuhoTNplCjIvN7Xufg H2tJXjztsaWcHipMsBcxOH2FTKRNnZvJQoxeYR7wV4WctRGnpZBSilCXJTSCYVXc7gQa ncPZDTgjOkdmOatkkbR0IB/Y2pJbHLxRgOWGCOtkq5WH6mKiOwvnHqg6w5L4QGDJbXBX WJn5WdptM+fqqXsSnCxS3lIMxvsQiNdToRFirgoQA45J/yXvDCWOV8oGLIbDB2DfIgo9 T0Ew== X-Gm-Message-State: AOJu0YyHgaOtZsTHBR4jcg8iaVXvnEZfXLtIQM2elzg2tFW4ZiyWd4gC /1D1tkaY5+ZIgq7U/S3Ti+vuF5bVilhkJw== X-Google-Smtp-Source: AGHT+IGMnljYFs+NpTOfczu0TQ4ap3a7uVRV9/7Uu9giEvL6Qt0+7hhpDH/sxc0v8md4WdhwwE8rMA== X-Received: by 2002:a05:6000:1548:b0:32f:c5ea:72ac with SMTP id 8-20020a056000154800b0032fc5ea72acmr14503387wry.46.1700159324934; Thu, 16 Nov 2023 10:28:44 -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 f11-20020adfc98b000000b00327b5ca093dsm72242wrh.117.2023.11.16.10.28.43 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 16 Nov 2023 10:28:44 -0800 (PST) Message-ID: <1ece7c79b117227b0ac1f6a81afbdf583b7fc1e4.1700159272.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler Date: Thu, 16 Nov 2023 19:27:33 +0100 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::444; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x444.google.com X-Spam_score_int: 10 X-Spam_score: 1.0 X-Spam_bar: + X-Spam_report: (1.0 / 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=3.096, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, T_SPF_TEMPERROR=0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 4.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): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd --- gnu/packages/potassco.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e6d7caa1ef..887c220ccf 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -221,6 +221,28 @@ (define-publ [...] Content analysis details: (4.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 3.1 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. 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: 3.1 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (clingo-dl): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd --- gnu/packages/potassco.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e6d7caa1ef..887c220ccf 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -221,6 +221,28 @@ (define-publ [...] Content analysis details: (3.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 3.1 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-dl): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd --- gnu/packages/potassco.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e6d7caa1ef..887c220ccf 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -221,6 +221,28 @@ (define-public clingo (description "Clingo computes answer sets for a given logic program.") (license license:expat))) +(define-public clingo-dl + (package + (name "clingo-dl") + (version "1.4.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo-dl") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0dncwj63vdm6958vb7355d5j9mdr7hm037j4z82yz6l77jg3sipw")))) + (build-system cmake-build-system) + (arguments (list #:tests? #f ; no tests + #:configure-flags #~`("-DPYCLINGODL_ENABLE=off"))) + (inputs (list clingo)) + (home-page "https://github.com/potassco/clingo-dl") + (synopsis "Solver for answer set programs modulo difference constraints") + (description "Clingo-DL is an extension to Clingo that models constraints +over difference logic.") + (license license:expat))) + (define-public emacs-pasp-mode (let ((commit "59385eb0e8ebcfc8c11dd811fb145d4b0fa3cc92") (revision "1")) base-commit: 23627b1706af25a0a30b96b9169a3495279aff1b -- 2.41.0 From unknown Thu Aug 21 14:54:05 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Liliana Marie Prikler Subject: bug#67232: closed (Re: [PATCH] gnu: Add clingo-dl.) Message-ID: References: <3ad706e3f225326aa1207522cb0876bf62d7f0a0.camel@gmail.com> <1ece7c79b117227b0ac1f6a81afbdf583b7fc1e4.1700159272.git.liliana.prikler@gmail.com> X-Gnu-PR-Message: they-closed 67232 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 67232@debbugs.gnu.org Date: Thu, 23 Nov 2023 08:33:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1700728383-755-1" This is a multi-part message in MIME format... ------------=_1700728383-755-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #67232: [PATCH] gnu: Add clingo-dl. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 67232@debbugs.gnu.org. --=20 67232: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D67232 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1700728383-755-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 67232-done) by debbugs.gnu.org; 23 Nov 2023 08:32:09 +0000 Received: from localhost ([127.0.0.1]:60571 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6584-0000AK-N0 for submit@debbugs.gnu.org; Thu, 23 Nov 2023 03:32:08 -0500 Received: from mail-ed1-x541.google.com ([2a00:1450:4864:20::541]:54695) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6581-00009n-G7 for 67232-done@debbugs.gnu.org; Thu, 23 Nov 2023 03:32:07 -0500 Received: by mail-ed1-x541.google.com with SMTP id 4fb4d7f45d1cf-5431614d90eso851094a12.1 for <67232-done@debbugs.gnu.org>; Thu, 23 Nov 2023 00:32:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700728316; x=1701333116; 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=NLVLxpB+6WoZP8oRQp5iuOQhldbuiKFRJUBv+FtnZes=; b=Bn6udwxNfVhbHQJwr/W1fiY95h+UIqNOJV+whNbR3KL5OyIM01zM00zrybvLTIWuxS h8moRkxMZONYBDts1WcrQd5d9m+OMEH4d8+seIHPfBFHXWr5SUM8CFHuK31/6bPec/Lj ca1ZGGuqfYKz5fdGEupBeQXcGovKjJ1/cD5Xd30C8238PTePovuQuxyZtlvOAOo7v4QS UE+5A5EJ/abQyZU5MCPv/2HFiS7viwh4Y6va5OLDOhHkDJS4m97xBq1I4frWNyWA4WeZ /t5eKtdYC8yrU8eF/Lqxgpxe0qabXbpXpGWCEzpyWtuAW8Wh9jltaEyLu1kjGWnYWpdM maXw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700728316; x=1701333116; 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=NLVLxpB+6WoZP8oRQp5iuOQhldbuiKFRJUBv+FtnZes=; b=b2zcrreUDNjRx+QS47Wmu5QFK7OGM/5JhHSJ8/pBLPfhvrP5M+AOkyfp+LcgueL2iv rlxNDh2HXzE45uBgyaa6v1UR+zKPyE/QWjKb7ICtb8htuV7uHM2zL4pOC6sLL1eLNClo 8HKW6LzVotnmhSO+DWuaViyqmfkuO2ct9iJ9jIo1YZhobLddjj/KuTO/vK+mPs/zN6MY BCSuVBdh0VLkPWY+tDFxURDsP5aIopWkS7x/pdzuwoW51rQCMHDSYYUCG78PYQXvUZ5Y aMTKi2czj1xaPjPCzyjTyQbqRkqWZD9GqrVRdBwsNWxVzPelQr85a+6/YJaSllK9SBxO xSBQ== X-Gm-Message-State: AOJu0YzCnqzKYTlAEKQKZOXDXbTWMj9DrPF3AuxoNA8DOSs5bvkS9JUo glnEAeROyObq/C5WILjqUiTh6vplfxXMlQ== X-Google-Smtp-Source: AGHT+IGdNpVvXQz2Pzv/qJGWEdyc1py6GAIzfus6SZ5oI/0FmH7mHxENOLWY1LxTnWznF+K1lIqIyA== X-Received: by 2002:a17:906:f916:b0:9ff:aeea:89a7 with SMTP id lc22-20020a170906f91600b009ffaeea89a7mr3221126ejb.39.1700728315720; Thu, 23 Nov 2023 00:31:55 -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 o11-20020a17090611cb00b00a0173cfaab6sm480101eja.44.2023.11.23.00.31.54 for <67232-done@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 23 Nov 2023 00:31:54 -0800 (PST) Message-ID: <3ad706e3f225326aa1207522cb0876bf62d7f0a0.camel@gmail.com> Subject: Re: [PATCH] gnu: Add clingo-dl. From: Liliana Marie Prikler To: 67232-done@debbugs.gnu.org Date: Thu, 23 Nov 2023 09:31:53 +0100 In-Reply-To: <1ece7c79b117227b0ac1f6a81afbdf583b7fc1e4.1700159272.git.liliana.prikler@gmail.com> References: <1ece7c79b117227b0ac1f6a81afbdf583b7fc1e4.1700159272.git.liliana.prikler@gmail.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.4 MIME-Version: 1.0 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 67232-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Am Donnerstag, dem 16.11.2023 um 19:27 +0100 schrieb Liliana Marie Prikler: > * gnu/packages/potassco.scm (clingo-dl): New variable. >=20 > Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd > --- Aaaaand it's pushed. ------------=_1700728383-755-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 16 Nov 2023 18:29:05 +0000 Received: from localhost ([127.0.0.1]:44488 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3h6v-0002NH-5V for submit@debbugs.gnu.org; Thu, 16 Nov 2023 13:29:05 -0500 Received: from lists.gnu.org ([2001:470:142::17]:58986) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3h6q-0002Mi-M7 for submit@debbugs.gnu.org; Thu, 16 Nov 2023 13:29:04 -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 1r3h6j-0003EB-Cw for guix-patches@gnu.org; Thu, 16 Nov 2023 13:28:53 -0500 Received: from mail-wr1-x444.google.com ([2a00:1450:4864:20::444]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r3h6e-0001Vu-BQ for guix-patches@gnu.org; Thu, 16 Nov 2023 13:28:53 -0500 Received: by mail-wr1-x444.google.com with SMTP id ffacd0b85a97d-32fbf271346so769234f8f.1 for ; Thu, 16 Nov 2023 10:28:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700159325; x=1700764125; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=/8ziovKS0whhwPmxYgkNhUFqO2EyU3wAYUY/pVoZax0=; b=FlBELx3Aw2KH/gNvm/Uy8RrBLqi8a9geB8FPdxz/uMWNaiAPOL03u1DOiNkA21VXsj tkaFxwxtpdsdusy7/B2LHp9+VmTcNN/2OixuO20POYqGcodBWlAw+6S9kMMGGvSvOqNI n0uO5uYstAaHGmAzhlokHUAP37gxKozTvxy564IlYxAXmS4IALzsJk7Pzao4uJSOHVsS b/BZFNxYuD4wHLAKhA7Qt/sci3k3bxDBze47RJ2uwtd8vJy64wgqoN8xlsdZxLqmrkRt 1AnuFDzLAfpkFvotgk6cLsv74p0CxM41gY1Uh41pJn7Qejsq6DoVGrA+bknBMXzLmU/c cbQA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700159325; x=1700764125; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=/8ziovKS0whhwPmxYgkNhUFqO2EyU3wAYUY/pVoZax0=; b=kgrkE4Oz444hD3npl2OxZpRU60dsW70n0Wliv04gfMoiok15V4K1Pef/VcEQZOox0O PvjDL5EJ70fbZ59aOj1ySpf2m4fpDihaM0GR251yHxyckpuYBuPuhoTNplCjIvN7Xufg H2tJXjztsaWcHipMsBcxOH2FTKRNnZvJQoxeYR7wV4WctRGnpZBSilCXJTSCYVXc7gQa ncPZDTgjOkdmOatkkbR0IB/Y2pJbHLxRgOWGCOtkq5WH6mKiOwvnHqg6w5L4QGDJbXBX WJn5WdptM+fqqXsSnCxS3lIMxvsQiNdToRFirgoQA45J/yXvDCWOV8oGLIbDB2DfIgo9 T0Ew== X-Gm-Message-State: AOJu0YyHgaOtZsTHBR4jcg8iaVXvnEZfXLtIQM2elzg2tFW4ZiyWd4gC /1D1tkaY5+ZIgq7U/S3Ti+vuF5bVilhkJw== X-Google-Smtp-Source: AGHT+IGMnljYFs+NpTOfczu0TQ4ap3a7uVRV9/7Uu9giEvL6Qt0+7hhpDH/sxc0v8md4WdhwwE8rMA== X-Received: by 2002:a05:6000:1548:b0:32f:c5ea:72ac with SMTP id 8-20020a056000154800b0032fc5ea72acmr14503387wry.46.1700159324934; Thu, 16 Nov 2023 10:28:44 -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 f11-20020adfc98b000000b00327b5ca093dsm72242wrh.117.2023.11.16.10.28.43 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 16 Nov 2023 10:28:44 -0800 (PST) Message-ID: <1ece7c79b117227b0ac1f6a81afbdf583b7fc1e4.1700159272.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler Date: Thu, 16 Nov 2023 19:27:33 +0100 Subject: [PATCH] gnu: Add clingo-dl. to: guix-patches@gnu.org MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::444; envelope-from=liliana.prikler@gmail.com; helo=mail-wr1-x444.google.com X-Spam_score_int: 10 X-Spam_score: 1.0 X-Spam_bar: + X-Spam_report: (1.0 / 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=3.096, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, T_SPF_TEMPERROR=0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 4.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): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd --- gnu/packages/potassco.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e6d7caa1ef..887c220ccf 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -221,6 +221,28 @@ (define-publ [...] Content analysis details: (4.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 3.1 MALFORMED_FREEMAIL Bad headers on message from free email service -0.0 T_SCC_BODY_TEXT_LINE No description available. 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: 3.1 (+++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (clingo-dl): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd --- gnu/packages/potassco.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e6d7caa1ef..887c220ccf 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -221,6 +221,28 @@ (define-publ [...] Content analysis details: (3.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 3.1 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-dl): New variable. Change-Id: Ib6ff517435a614c3625d042453db05fe518241cd --- gnu/packages/potassco.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e6d7caa1ef..887c220ccf 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -221,6 +221,28 @@ (define-public clingo (description "Clingo computes answer sets for a given logic program.") (license license:expat))) +(define-public clingo-dl + (package + (name "clingo-dl") + (version "1.4.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo-dl") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0dncwj63vdm6958vb7355d5j9mdr7hm037j4z82yz6l77jg3sipw")))) + (build-system cmake-build-system) + (arguments (list #:tests? #f ; no tests + #:configure-flags #~`("-DPYCLINGODL_ENABLE=off"))) + (inputs (list clingo)) + (home-page "https://github.com/potassco/clingo-dl") + (synopsis "Solver for answer set programs modulo difference constraints") + (description "Clingo-DL is an extension to Clingo that models constraints +over difference logic.") + (license license:expat))) + (define-public emacs-pasp-mode (let ((commit "59385eb0e8ebcfc8c11dd811fb145d4b0fa3cc92") (revision "1")) base-commit: 23627b1706af25a0a30b96b9169a3495279aff1b -- 2.41.0 ------------=_1700728383-755-1--