From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 16 13:29:05 2023 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 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 03:32:08 2023 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. From unknown Thu Aug 21 12:12:13 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 21 Dec 2023 12:24:07 +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