From unknown Mon Jun 23 02:24:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#59799] [PATCH 0/2] Add scasp Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 03 Dec 2022 09:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 59799 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 59799@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.167006114027839 (code B ref -1); Sat, 03 Dec 2022 09:53:02 +0000 Received: (at submit) by debbugs.gnu.org; 3 Dec 2022 09:52:20 +0000 Received: from localhost ([127.0.0.1]:51437 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1PBz-0007Er-K8 for submit@debbugs.gnu.org; Sat, 03 Dec 2022 04:52:19 -0500 Received: from lists.gnu.org ([209.51.188.17]:43412) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1PBx-0007EW-Gj for submit@debbugs.gnu.org; Sat, 03 Dec 2022 04:52:17 -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 1p1PBx-0003Lm-Bl for guix-patches@gnu.org; Sat, 03 Dec 2022 04:52:17 -0500 Received: from mail-ej1-x643.google.com ([2a00:1450:4864:20::643]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1p1PBu-0004wS-UZ for guix-patches@gnu.org; Sat, 03 Dec 2022 04:52:17 -0500 Received: by mail-ej1-x643.google.com with SMTP id vp12so16823158ejc.8 for ; Sat, 03 Dec 2022 01:52:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:from:to:cc:subject:date:message-id:reply-to; bh=57tBSSLrO2gFwbw+h2Q8qL7MklK/7U5xgtSe2hByHJM=; b=YWcCbrOCiWN1APAyCfy2gFDJPePJso7w0Nk0FXiOqx9RpwoMIwCAuIJpqbj8zH4ipz ic56jSdOyb76lZn6qqp5nlAGP7yjbjV/oZVndRqxi8hcI1Yt7JDxZfEEVogrwC1G+rwu UyLU6hZ2iDnJAraUzth/hyomAjt8PK8VvzmXo0Yz005ZnUrb6NkKiNJFRSdswA3SX79q B1yDH7jZvcOr5mEiwgb3O0bYE6A1YZOZtE6+bv/95PEJB/b4ATavzqaNpsR4Elo7lyFN lWhx5lOA6nnASylZHNCkRJSdhV/J/qhN0FXZC0pFMDseQ8EGXY9nlDOU1ILMfuY3Y9wD pXBA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=57tBSSLrO2gFwbw+h2Q8qL7MklK/7U5xgtSe2hByHJM=; b=MfEnNcBLRagJY6T77Xh6j7f6IN91ite9kFaEVH7+I2uC0j/5wZGvTwF45QDdy3AJhf ZWqvvHfgmeYcU6DsXkSBDBoRke7vQFaP9bJ4lJHZs6Zhb5gJTY/496zhQ2zVIMw9807u hX7OJnquz7em8zBazYVfrHzOCRAMSOkNDWTdd8AOIvZ7dRcYtPzCprkXWwFQhPK2/RPy Hm21WZxzZKjkzNKeHMGL52teR/NAS/MyNu0MdvWwLpdjNzn3hddOFIk6H+5rnoR7jLlY 4fehUvYhpZukLyb1me77UfYoK8aarYwymkBZe9gqppJXnzymdIzBefbHZeF1bXMRo+J1 th+Q== X-Gm-Message-State: ANoB5plkL18qk0CfpJkh1JMkZRsd36haC/Hw0Ud30my1EThTAzviZxuN gIF6YfWxIRBrrIEiwbleYXryrrC3iys= X-Google-Smtp-Source: AA0mqf7PwzOa/j48xaLf3Uuk1aETT/nfYN9K+PAk+QwRU9hDnogRBTnIjG8eHI2SFZcNAB/n3DwPEA== X-Received: by 2002:a17:906:2817:b0:7ba:da1f:a727 with SMTP id r23-20020a170906281700b007bada1fa727mr38957569ejc.276.1670061132287; Sat, 03 Dec 2022 01:52:12 -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 z17-20020a17090655d100b0078df26efb7dsm3993863ejp.107.2022.12.03.01.52.11 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 03 Dec 2022 01:52:12 -0800 (PST) From: Liliana Marie Prikler Date: Sat, 3 Dec 2022 10:23:22 +0100 Content-Transfer-Encoding: 7bit Message-ID: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::643; envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x643.google.com X-Spam_score_int: 8 X-Spam_score: 0.8 X-Spam_bar: / X-Spam_report: (0.8 / 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.899, 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: -1.3 (-) 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 adds scasp (the SWI Prolog implementation anyway), a prolog-based ASP interpreter/solver. Cheers Liliana Marie Prikler (2): gnu: swi-prolog: Update to 9.1.0. gnu: Add scasp. gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ gnu/packages/prolog.scm | 4 ++-- 2 files changed, 39 insertions(+), 2 deletions(-) base-commit: 9e9204958d3e0ecfe8fd024d8f06068b84f52ba1 -- 2.38.1 From unknown Mon Jun 23 02:24:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#59799] [PATCH 1/2] gnu: swi-prolog: Update to 9.1.0. References: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> In-Reply-To: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 03 Dec 2022 10:01:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59799 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 59799@debbugs.gnu.org Received: via spool by 59799-submit@debbugs.gnu.org id=B59799.167006163228341 (code B ref 59799); Sat, 03 Dec 2022 10:01:04 +0000 Received: (at 59799) by debbugs.gnu.org; 3 Dec 2022 10:00:32 +0000 Received: from localhost ([127.0.0.1]:51481 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1PJw-0007N3-4c for submit@debbugs.gnu.org; Sat, 03 Dec 2022 05:00:32 -0500 Received: from mail-ej1-f66.google.com ([209.85.218.66]:34815) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1PJu-0007KV-9u for 59799@debbugs.gnu.org; Sat, 03 Dec 2022 05:00:30 -0500 Received: by mail-ej1-f66.google.com with SMTP id o13so16881389ejm.1 for <59799@debbugs.gnu.org>; Sat, 03 Dec 2022 02:00:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:from:to:cc:subject:date:message-id:reply-to; bh=4DfvUhS6BpDIO19LZrvtrFdAISnFKBe6QZJZT31F6VA=; b=eer7+eyJ9NfO/5irJDnlbCrG4Xt4o/OHrTLe7w9PlXTT6pmwSKo1j6kbYifGehb0lY O/NeAsDpAGiGP7c7PBYNyAyHKTTBEa5zsbT5N99h1WH90NVTp+EQpnQ9sMSxVXcL/1au IlUJajJ+CVAZ5Pw7Gb/GO+X3COYpYJ2RZ0k0pm5gnSZifhqBZCaoDfOJcsSoVYjUMDqh MC6ISz/SflMlLV/iFjUDO+qbB3f/v2znNVS6tfd1yufA7IqTOX59Rl5Nj11Zt5e28Ff+ TU29Sr5LLV62hq9FtsHH6xWE8co0gQL6N8+hZ1HI3YASIVinJ+ZPoZB3695RN9u0iI3v e+5A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=4DfvUhS6BpDIO19LZrvtrFdAISnFKBe6QZJZT31F6VA=; b=3IZNtwXu4sc8Nr0u9ayeNceA+XyktYwtO8N6UlQUKKpbLOZjuWlGL2uX3WkRTo8acK 3rl/uNJlS9tVCsWN/pmfiTTS0OKz1VUklegjgCccyNtz0FBeiyjmwAwIrGiiz5oMX8XH 5mSMtfNadzdIztxHcRkHZ3+npMuIJH9rdfO7hAlnJV216u3Wt6r7iuViD4K71jpcA01T YLkynvRvgdZZha4bHjulknNzdEC3gVCyniS+o4SXfsiAbqQij6f0JxvfoqCLbMiQMa1E 11GhUplmnWr+lFu1mJHe0eUdoAo5PmljUkP6qoKxNA9ONmlJdRm9nPgw3kuxRuRVO4d1 Jpcg== X-Gm-Message-State: ANoB5pkzuUO3qLUwgdOgVNHwOBeGMf4tcPfeJQovOqmcBZwuf/8uI/w0 O7KJxns989f0fDZYWUPTT7UEZqrvJUw= X-Google-Smtp-Source: AA0mqf65mLAlgajtd/izCcugceLHKo+tlfcvY7NYzO3FSMnZLiBps3qJLUe8wZy8fTvl8Bh8S6VYQw== X-Received: by 2002:a17:906:a1cb:b0:781:fcf6:e73a with SMTP id bx11-20020a170906a1cb00b00781fcf6e73amr61709178ejb.352.1670061630017; Sat, 03 Dec 2022 02:00:30 -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 ef3-20020a05640228c300b00463b9d47e1fsm3832396edb.71.2022.12.03.02.00.29 for <59799@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 03 Dec 2022 02:00:29 -0800 (PST) From: Liliana Marie Prikler Date: Sat, 3 Dec 2022 10:15:43 +0100 Content-Transfer-Encoding: 7bit Message-ID: <3bf4538a0537866293e8ded8bbaa8b8b4c4b86bc.camel@gmail.com> MIME-Version: 1.0 X-Spam-Score: -0.0 (/) 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 (-) * gnu/packages/prolog.scm (swi-prolog): Update to 9.1.0. --- gnu/packages/prolog.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 6aa01ce871..9291da617d 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -87,7 +87,7 @@ (define-public gprolog (define-public swi-prolog (package (name "swi-prolog") - (version "8.3.20") + (version "9.1.0") (source (origin (method git-fetch) (uri (git-reference @@ -97,7 +97,7 @@ (define-public swi-prolog (file-name (git-file-name name version)) (sha256 (base32 - "1g0v9cmz8zvzc1n0si7sn6522xwzbhj2b8967ibs6prinrpjc8d6")))) + "0an3wgiapr1h2ifjpm59snqx1vd2m9hnn9hawl3xdc2ch4lml2i0")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t -- 2.38.1 From unknown Mon Jun 23 02:24:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#59799] [PATCH 2/2] gnu: Add scasp. References: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> In-Reply-To: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 03 Dec 2022 10:01:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59799 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 59799@debbugs.gnu.org Received: via spool by 59799-submit@debbugs.gnu.org id=B59799.167006163828353 (code B ref 59799); Sat, 03 Dec 2022 10:01:04 +0000 Received: (at 59799) by debbugs.gnu.org; 3 Dec 2022 10:00:38 +0000 Received: from localhost ([127.0.0.1]:51484 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1PK2-0007NF-F3 for submit@debbugs.gnu.org; Sat, 03 Dec 2022 05:00:38 -0500 Received: from mail-ej1-f67.google.com ([209.85.218.67]:40569) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1PK0-0007N2-3s for 59799@debbugs.gnu.org; Sat, 03 Dec 2022 05:00:36 -0500 Received: by mail-ej1-f67.google.com with SMTP id b2so16843329eja.7 for <59799@debbugs.gnu.org>; Sat, 03 Dec 2022 02:00:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:from:to:cc:subject:date:message-id:reply-to; bh=jCJjAkISAXegRW9Ki/ci7k+8BkpgIgnF9NoUwz0WyAw=; b=dkY6Gy7stuzvIkYbh0xF7cBNEl47EnOjOylYvJmr6v1WYchIhsE9W9uiTcMn8pehSH OX7VS/ZayLMMbUj53mMcQEM0my8tR3ibssTCPNQRbtFXr3kBPfWjoW1HvFJj5ZmQFmXV CnFQquijUrnYesWkoZx52WcD7AU4Jb7WrjkrNEMievCpkSRYKcCX54XqylSN0uo/2/2d EDpiEJF1ytfl1eVHEtQjd4CCdFOjc2G6nDTcyRfvrlHJ1nBbMgWk37TK3bqN2N/JjH8d a8v8WRTxeHEsdp/5pYbLJYD2nH6ksqnMYQQJE/HfgY4wHqI8/tXla3ulSILkeFxQ1qZc 5Uaw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=jCJjAkISAXegRW9Ki/ci7k+8BkpgIgnF9NoUwz0WyAw=; b=DlwqLh4egVTTUHuICRY0DXqIpZhSEh2UyvEOoFBdeJGJA/6yzNUVstX3lgClmGour/ JlEiYA83/ouLQp2a6Z1cBjCFm1Q5qhP75etWec5pkLjLKNUxvD2wttyJBFAw9U2nED/1 H22DRdnMdg79rScZhOi4JSOVMzscE3uw/y8xyYTjKNT6QePZ7srnSV1g4tiHqu6AJeuP 4Gm9iq3IDKEEuf2yVCfmcXvlky6mPGJGMGskJX1E7S4BMxPtBCTUhKlTr52BnKmDc/zQ vt5W3VoM5s2XP4tVLkmjt2PzWpSd1KPc2tblhUrdcvmFjIld9m8TPNWodwV4WtpzYqLF M0/Q== X-Gm-Message-State: ANoB5pkiafLtTsI7f+AezhUOB7BQ2u7RndjYtJohxMi7iIautWBeW1ei 6PQQk6n6+tMdxkAlxapJhMgmg3RxWAE= X-Google-Smtp-Source: AA0mqf4DyjLfzzMPZXqzVejRsKEDqkoK+KjOD5pWI9VY5RcJPkHZ6B44poo4VXpcF5fjnMirujE8Jg== X-Received: by 2002:a17:906:9f13:b0:7bf:661b:6b0e with SMTP id fy19-20020a1709069f1300b007bf661b6b0emr25295280ejc.191.1670061630618; Sat, 03 Dec 2022 02:00:30 -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 ef3-20020a05640228c300b00463b9d47e1fsm3832396edb.71.2022.12.03.02.00.30 for <59799@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 03 Dec 2022 02:00:30 -0800 (PST) From: Liliana Marie Prikler Date: Sat, 3 Dec 2022 10:18:26 +0100 Content-Transfer-Encoding: 7bit Message-ID: <2f3301a7745c71e6422511e38b3f358fb1ab8bdf.camel@gmail.com> MIME-Version: 1.0 X-Spam-Score: -0.0 (/) 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 (-) * gnu/packages/maths.scm (scasp): New variable. --- gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index c0bc07977b..dd41072b5d 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -86,6 +86,7 @@ (define-module (gnu packages maths) #:use-module (guix utils) #:use-module ((guix build utils) #:select (alist-replace)) #:use-module (guix build-system cmake) + #:use-module (guix build-system copy) #:use-module (guix build-system glib-or-gtk) #:use-module (guix build-system gnu) #:use-module (guix build-system meson) @@ -147,6 +148,7 @@ (define-module (gnu packages maths) #:use-module (gnu packages pcre) #:use-module (gnu packages popt) #:use-module (gnu packages perl) + #:use-module (gnu packages prolog) #:use-module (gnu packages pkg-config) #:use-module (gnu packages pulseaudio) #:use-module (gnu packages python) @@ -2686,6 +2688,41 @@ (define-public clingo (description "Clingo computes answer sets for a given logic program.") (license license:expat))) +(define-public scasp + (let ((commit "89a427aa04ec6346425a40111c99b310901ffe51") + (revision "1")) + (package + (name "scasp") + (version (git-version "0.21.11.26" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/SWI-Prolog/sCASP") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1ijqv9xr3imrdmz6nq7zqwsmmaxn638icig19m8900m7mjfpizs4")))) + (build-system copy-build-system) + (arguments + (list + #:install-plan #~`(("scasp" "bin/") + ("prolog" "lib/swipl/library")) + #:modules `((guix build copy-build-system) + ((guix build gnu-build-system) #:prefix gnu:) + (guix build utils) + (ice-9 regex)) + #:phases + #~(modify-phases %standard-phases + (add-before 'install 'build (assoc-ref gnu:%standard-phases 'build)) + (add-after 'build 'check (assoc-ref gnu:%standard-phases 'check))))) + (native-inputs (list swi-prolog)) + (home-page "https://github.com/SWI-Prolog/sCASP") + (synopsis "Interpreter for ASP programs with constraints") + (description "@code{s(CASP)} is a top-down interpreter for ASP programs +with constraints.") + (license license:asl2.0)))) + (define-public ceres (package (name "ceres-solver") -- 2.38.1 From unknown Mon Jun 23 02:24:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#59799] [PATCH v2 1/2] gnu: swi-prolog: Update to 8.5.20. References: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> In-Reply-To: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 28 Feb 2023 17:35:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59799 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 59799@debbugs.gnu.org Received: via spool by 59799-submit@debbugs.gnu.org id=B59799.167760565926002 (code B ref 59799); Tue, 28 Feb 2023 17:35:03 +0000 Received: (at 59799) by debbugs.gnu.org; 28 Feb 2023 17:34:19 +0000 Received: from localhost ([127.0.0.1]:51914 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pX3rm-0006lK-Oc for submit@debbugs.gnu.org; Tue, 28 Feb 2023 12:34:18 -0500 Received: from mail-ed1-f68.google.com ([209.85.208.68]:47101) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pX3rl-0006ks-Mt for 59799@debbugs.gnu.org; Tue, 28 Feb 2023 12:34:18 -0500 Received: by mail-ed1-f68.google.com with SMTP id o15so40728052edr.13 for <59799@debbugs.gnu.org>; Tue, 28 Feb 2023 09:34:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:to:subject:date:from:from:to:cc:subject :date:message-id:reply-to; bh=iyFlD/+tr/xFAHRfrZqOrrQUn3yth7BEN9F5xJKi38Y=; b=T7Q3iDa1O4GJJmEre2kv0t6P9MVal3SMOAVq3Dn/6YxXpNJPhBvIjgDAYEXZUFw1+Y U4xMd+8SaLMwCqDk4OIJQLslBBEmCQ3751gjl/40Q55Nx9BoxMYpOaX+lm93PpYOcK61 X571pWZFACLA65CMNTNVReOYruX9ASCUIdzhKPfS8RJ0HDHuWNSyf4pQhmsh9qDoDj1C HBbqepUTcXe3XMi6+OxVs4IugpNaK63Erg+za1uSmyZ9Yxht6dOtE+wmNT5TqsydOH6q uCLHb/nB5zhS0PnUGGUJddI8+HHDesiGWSGm6LABJQPF3RwVU1UwLeOdJo1WKvq7Qfic zcvA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:to:subject:date:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=iyFlD/+tr/xFAHRfrZqOrrQUn3yth7BEN9F5xJKi38Y=; b=RKd4E2nS1QYfumaXko8Q3z63kHaScIfsUtjawWdKO2Jxz0WPXXaNYtTzY4mrmvQxes QfOGxJO/C0q+P8g2FH+1RfTo78O7I7sfEfl8YZg78bEwkKuIavyCvOJT4akUp7aj1Itk n8Z4ggo0kbj9E8M8DL/K1XdS4KsVhIvBPopkmWyZpfv7qoufEgd3S6CH0t2Snl9lqaUk m2GvGFqxP7C14hSnizboNmBRFUyDbrcASjwXvBgW/M5EWW/GUtEWMwQ8j5UkG8MImuTN KglNARHpQmkuvP2NdYiOqABEwp+6j61HEFZaN8yEbWoJnevhtHhGi08pnZweKvEETgw1 IuZg== X-Gm-Message-State: AO0yUKWxdLxcy+4MJBcqvaOEAW6YUgs6BGJR0yN3t8q1/bX/bloXjtzz ehPK/c43c3aM0HWiLvZZDZgTqq+Z7yTW6A== X-Google-Smtp-Source: AK7set9RJ0ETk/0WKow71mTXsXk7AMhOBdZyUHyIAql8J2EFTCADU6Y0Y/6eSPXWXAUStb2QrmoGxw== X-Received: by 2002:a05:6402:419:b0:4af:62ad:160b with SMTP id q25-20020a056402041900b004af62ad160bmr4545167edv.5.1677605651553; Tue, 28 Feb 2023 09:34:11 -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 13-20020a508e0d000000b004af6e957b22sm4676808edw.6.2023.02.28.09.34.10 for <59799@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 28 Feb 2023 09:34:11 -0800 (PST) From: Liliana Marie Prikler Date: Mon, 27 Feb 2023 21:13:54 +0100 Message-ID: <6da50fed9d333daee5f08f15e041a306808f1e15.camel@gmail.com> MIME-Version: 1.0 X-Spam-Score: 0.8 (/) 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.2 (/) * gnu/packages/prolog.scm (swi-prolog): Update to 8.5.20. --- Since Prolog 9 failed on CI way back when, let's try an earlier version. gnu/packages/prolog.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 6aa01ce871..0f2ad25a49 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -87,7 +87,7 @@ (define-public gprolog (define-public swi-prolog (package (name "swi-prolog") - (version "8.3.20") + (version "8.5.20") (source (origin (method git-fetch) (uri (git-reference @@ -97,7 +97,7 @@ (define-public swi-prolog (file-name (git-file-name name version)) (sha256 (base32 - "1g0v9cmz8zvzc1n0si7sn6522xwzbhj2b8967ibs6prinrpjc8d6")))) + "0vwxk5fy2mxj6538knkqvqhwy1674xh2zkdqdmbzkxf6mj969d7m")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t -- 2.39.1 From unknown Mon Jun 23 02:24:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#59799] [PATCH v2 2/2] gnu: Add scasp. References: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> In-Reply-To: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 28 Feb 2023 17:35:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59799 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 59799@debbugs.gnu.org Received: via spool by 59799-submit@debbugs.gnu.org id=B59799.167760566326029 (code B ref 59799); Tue, 28 Feb 2023 17:35:03 +0000 Received: (at 59799) by debbugs.gnu.org; 28 Feb 2023 17:34:23 +0000 Received: from localhost ([127.0.0.1]:51919 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pX3rr-0006lf-AT for submit@debbugs.gnu.org; Tue, 28 Feb 2023 12:34:23 -0500 Received: from mail-ed1-f67.google.com ([209.85.208.67]:43688) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pX3rm-0006kt-32 for 59799@debbugs.gnu.org; Tue, 28 Feb 2023 12:34:18 -0500 Received: by mail-ed1-f67.google.com with SMTP id h16so43201180edz.10 for <59799@debbugs.gnu.org>; Tue, 28 Feb 2023 09:34:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:to:subject:date:from:from:to:cc:subject :date:message-id:reply-to; bh=zISRAP/omwl7dwLkUQP0rli1AVARs/lUhKbj/RtjrCA=; b=VN6zVtbNBnqQj2sypwKJpS0dsrUxuLE86qbroKamJ1T8rkg58id8n2rslylmtcUCnU lrDolJQbCi8XPw6AGlh4+ZLyrx9y4pG+SQmjsIIan+4Y+1YkX9Jf3f89auWkhZ2woXtH kJxZBXPLKZkrxH/kV/9zsvbcBe0OyEzLgg7Js707TctO9JUgXR129ry7tf/MA41ymKbv iyElwpdgJeODACV2oOY8ji9E1aYKnTbzKy4Bwje+l4+KZHJN7gsFqj6jGORVYeAkdU+S 3GSaoKW0ChAPCx/IoZfao/8xZdp8qyznVSRDQYuw5qsQ7nZHGl0KAHOpLxzyQzB7gxiY mnsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:to:subject:date:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=zISRAP/omwl7dwLkUQP0rli1AVARs/lUhKbj/RtjrCA=; b=2aA1sBto0JWEjQzLTAWUDQ/KlqdvIAzoh0b2Hwccf4Oncn2LtCD4citW1CN8RsFe38 CH8HcToxkaECVMYvPswhVtwW2fUcmscJhX0ygk05apw+DDWEaK11Z/Y00nJhSMFw6wQB jHbXsADMCHXVch9pAuk9y3j2nJnAe2P4Bciktg5vGV4RUHqTfBVAxl4IzBqZEU0g8MkN EBPN0rz8zjJG+wzpwb2ucNF5CPnBuWtTrQsvXhs67agOD6i69MMU6xo22D/gVhtpZJGr sb6Gvxx3sQ3qNyz4MLEJcbkWLCklk6b0TiBLwxJRT/XQtV446m3meRvuEDZbkTB6b7HV mmAA== X-Gm-Message-State: AO0yUKWeqM20YDR8OsQ5aVnmYahGblGeVCiuvM0/MBJWtgNDcM3B8WCi ydP0RBWN0n2s0eiCZuay0bcXF+RNJ/FQ7g== X-Google-Smtp-Source: AK7set+/Hc/Qbv+1c3p14oiqF9IzFzkeUnOh8onJ7nMNnhaC3KNHaL0BeSWcKI/lrV/XJmgy4aCNow== X-Received: by 2002:a05:6402:2485:b0:4aa:a280:55b5 with SMTP id q5-20020a056402248500b004aaa28055b5mr3858807eda.20.1677605652208; Tue, 28 Feb 2023 09:34:12 -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 13-20020a508e0d000000b004af6e957b22sm4676808edw.6.2023.02.28.09.34.11 for <59799@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 28 Feb 2023 09:34:11 -0800 (PST) From: Liliana Marie Prikler Date: Sat, 3 Dec 2022 10:18:26 +0100 Message-ID: MIME-Version: 1.0 X-Spam-Score: 2.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/maths.scm (scasp): New variable. --- gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index a7497f1d2f..238352f278 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -89,6 +89,7 @@ (define-module (gnu package [...] Content analysis details: (2.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) 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.208.67 listed in list.dnswl.org] -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.67 listed in wl.mailspike.net] 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.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/maths.scm (scasp): New variable. --- gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index a7497f1d2f..238352f278 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -89,6 +89,7 @@ (define-module (gnu package [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.208.67 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.208.67 listed in list.dnswl.org] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 2.1 DATE_IN_PAST_96_XX Date: is 96 hours or more before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record -0.0 SPF_PASS SPF: sender matches SPF record -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager * gnu/packages/maths.scm (scasp): New variable. --- gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index a7497f1d2f..238352f278 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -89,6 +89,7 @@ (define-module (gnu packages maths) #:use-module ((guix build utils) #:select (alist-replace)) #:use-module (guix build-system ant) #:use-module (guix build-system cmake) + #:use-module (guix build-system copy) #:use-module (guix build-system glib-or-gtk) #:use-module (guix build-system gnu) #:use-module (guix build-system meson) @@ -153,6 +154,7 @@ (define-module (gnu packages maths) #:use-module (gnu packages pcre) #:use-module (gnu packages popt) #:use-module (gnu packages perl) + #:use-module (gnu packages prolog) #:use-module (gnu packages pkg-config) #:use-module (gnu packages pulseaudio) #:use-module (gnu packages python) @@ -2804,6 +2806,41 @@ (define-public python-telingo logic programs based on clingo.") (license license:expat))) +(define-public scasp + (let ((commit "89a427aa04ec6346425a40111c99b310901ffe51") + (revision "1")) + (package + (name "scasp") + (version (git-version "0.21.11.26" revision commit)) + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/SWI-Prolog/sCASP") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1ijqv9xr3imrdmz6nq7zqwsmmaxn638icig19m8900m7mjfpizs4")))) + (build-system copy-build-system) + (arguments + (list + #:install-plan #~`(("scasp" "bin/") + ("prolog" "lib/swipl/library")) + #:modules `((guix build copy-build-system) + ((guix build gnu-build-system) #:prefix gnu:) + (guix build utils) + (ice-9 regex)) + #:phases + #~(modify-phases %standard-phases + (add-before 'install 'build (assoc-ref gnu:%standard-phases 'build)) + (add-after 'build 'check (assoc-ref gnu:%standard-phases 'check))))) + (native-inputs (list swi-prolog)) + (home-page "https://github.com/SWI-Prolog/sCASP") + (synopsis "Interpreter for ASP programs with constraints") + (description "@code{s(CASP)} is a top-down interpreter for ASP programs +with constraints.") + (license license:asl2.0)))) + (define-public ceres (package (name "ceres-solver") -- 2.39.1 From unknown Mon Jun 23 02:24:31 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#59799] [PATCH v2 2/2] gnu: Add scasp. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 12 Mar 2023 08:16:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59799 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 59799@debbugs.gnu.org Received: via spool by 59799-submit@debbugs.gnu.org id=B59799.167860892810530 (code B ref 59799); Sun, 12 Mar 2023 08:16:01 +0000 Received: (at 59799) by debbugs.gnu.org; 12 Mar 2023 08:15:28 +0000 Received: from localhost ([127.0.0.1]:59073 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pbGrY-0002jk-2F for submit@debbugs.gnu.org; Sun, 12 Mar 2023 04:15:28 -0400 Received: from mail-ed1-f67.google.com ([209.85.208.67]:41776) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pbGrW-0002jU-5F for 59799@debbugs.gnu.org; Sun, 12 Mar 2023 04:15:27 -0400 Received: by mail-ed1-f67.google.com with SMTP id s11so37046025edy.8 for <59799@debbugs.gnu.org>; Sun, 12 Mar 2023 00:15:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678608920; 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=uW6O/0/YfKvVHtOmBQqgp4sdbMc06dGXJ/GeqG3OhG0=; b=JkbW+m15CnPzYuDbh0P4QjT78tz0OB5cMBApskxPeR5rFs1bq8mz0AboydEnG/ZmGA zFBwxlamXVnltD2/hu7AXf2PawKtK8FkrZ69r8LURW3gICrpQeOurq5M6nFDq03B/kwt EaShG7k+FpxO1gs2ak8nT2WJaJFSj2JOTaS8MIQsvaqa7zv+zDqEMhTt1tnTIS1cVJv4 mxQyH+OMMdAGftCIcw+FJ+6+94jhIZvYNLf08w+bkNyJCpNm25GihUb//7WjbcZgQ1vD ng5YrpysGEW0o7idAkuBN9S7Pc5+5ugEHS3DxNzx9KiBKaFKvgB/ked/Uge/eyEhK0+M VfNg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678608920; 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=uW6O/0/YfKvVHtOmBQqgp4sdbMc06dGXJ/GeqG3OhG0=; b=WmUnVUy8v+sfihP4PelN0uCiER85FvJwDxrn8TevLvtP6FDvWelJGehdyEeX13fg3a q+AdcFzoVUJP2V3qqXZjlrsXuAdSmTbNNN+B2VlLGJuppDswhll5HZAV2LsLbmESCcE1 8SlukSP1gc7N+D4OVCtBhgxOiJ4NB66Asxy/6NN/GNtyOs2VeZrBesrIINHx66s2BQln wzzoDW3Hb9bBRp8lSdcqJR1vYSaXvdob6ADEqVZLHfzEkmoLCQ0rYKbx7piExEhST3AO Ow26A0Qw8qNgm1nf+qagW2XUf6NNX9zpg95BAy2v+lWb5Sbj0N/YZ1ez0QQCnRKn36MY 7KbQ== X-Gm-Message-State: AO0yUKWkKHg3foB8BI6jl6Nl5S9/SsU5/xDlcCkFy60L1Pc4H6FR9pF5 kmJlX3YWJwGJ7QH51W8I/k13Dvd07O/sgQ== X-Google-Smtp-Source: AK7set+xz7+2b9C5PpEp9OiptZ24jrYhXhmb8j1C29d20HxP1iVbKCDu2qia7ULDoLCgXHzDhNsHvA== X-Received: by 2002:a17:906:99c9:b0:8b2:5262:562c with SMTP id s9-20020a17090699c900b008b25262562cmr30107747ejn.34.1678608919993; Sun, 12 Mar 2023 00:15:19 -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 k10-20020a50c08a000000b004c2158e87e6sm1932318edf.97.2023.03.12.00.15.19 for <59799@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 12 Mar 2023 00:15:19 -0800 (PST) Message-ID: From: Liliana Marie Prikler Date: Sun, 12 Mar 2023 09:15:17 +0100 In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.0 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) 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 Samstag, dem 03.12.2022 um 10:18 +0100 schrieb Liliana Marie Prikler: > * gnu/packages/maths.scm (scasp): New variable. > --- Pushed, but I'm leaving this open to get CI gears turning and actually report errors. From unknown Mon Jun 23 02:24:31 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#59799: closed (Re: [PATCH v2 2/2] gnu: Add scasp.) Message-ID: References: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> X-Gnu-PR-Message: they-closed 59799 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 59799@debbugs.gnu.org Date: Sun, 12 Mar 2023 13:10:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1678626602-21062-1" This is a multi-part message in MIME format... ------------=_1678626602-21062-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #59799: [PATCH 0/2] Add scasp 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 59799@debbugs.gnu.org. --=20 59799: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D59799 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1678626602-21062-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 59799-done) by debbugs.gnu.org; 12 Mar 2023 13:09:15 +0000 Received: from localhost ([127.0.0.1]:59393 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pbLRr-0005SX-9k for submit@debbugs.gnu.org; Sun, 12 Mar 2023 09:09:15 -0400 Received: from mail-ed1-f65.google.com ([209.85.208.65]:37377) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pbLRo-0005SH-S2 for 59799-done@debbugs.gnu.org; Sun, 12 Mar 2023 09:09:14 -0400 Received: by mail-ed1-f65.google.com with SMTP id j11so38485198edq.4 for <59799-done@debbugs.gnu.org>; Sun, 12 Mar 2023 06:09:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1678626546; 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=9SySJCmV+ils8V2lMfpCbBxlU3fnlk1SALpe7z7PRbo=; b=PMumkxdRi/WWW0QGQYfBr+o+NAxVtluMVuFTTLd08bcHzMbEYdsnOSPpL6eijEBtGs VHP+YrJYF/Cw89fJcPAdDICecWWPNnn+HB5Z1PMlvyE6/2T43QYvlW4IoA+CchkXRxtQ Jhn0AUx3zY0qeSogGFxb45DyuhKAF8yT/Wi3SR82+TSwdp32onAGKlLgfveIi16jdgZg B0h/mzSR667FGs6debmEyuoFBzje4goC/jU/9nhCQOQoTtvUy+f4paM0AxvuxI0FvBJZ XP1Q553mj16zXOQxxn6JwvvlwoX2gMsslpaEkbYsBPuGGOskio6akO1XhcbUoz3SkKdI UA6w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678626546; 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=9SySJCmV+ils8V2lMfpCbBxlU3fnlk1SALpe7z7PRbo=; b=mtNv7noKhvPKYP0Dh4gb1iCSIJggJh3f94Ke5+GKnSQvRkNZD3Vt8OaaNH2chgJmuY o3XUfwwc8h4R35+rC3XxgHjk+gwJ8bcd8tFfdnjpqIU9StBekaOBzFf06pFi1jECrCiB i+ZGBEJ8mjSV16bmS6AG5LquOzv5W1u/1Z45UfdG9LNSVUs3/BDPz8MSiqIEbKdhjvPC 35ir8fG24ntXmbmUZudLRhaBxRDZPOpWneCiGwFdyP8Iid3bE8jyAd4bNBgFA9eWy8xr zYf3Y70zuqiNp/RGPCn7bxuntxeMR6ECoWjhPAiCVRF61ucJDuWyjZQYIS+SmAeWG9Ry K2pQ== X-Gm-Message-State: AO0yUKVgCExBum6hwQoEXds4uU5V4afi69XF/vqECSQCsB2sUfT6kAHc WIz5NV1enxPRaKbOmghKd+owouarQnvHcA== X-Google-Smtp-Source: AK7set8w00SYRkHgi7zUCsmE1puLEj3NgLteCsX5AdxPdIZ2h6aWJi/tYb1V5UnfgJVX2DvO1Y9Uuw== X-Received: by 2002:a17:907:5cd:b0:90b:53f6:fd8a with SMTP id wg13-20020a17090705cd00b0090b53f6fd8amr42825768ejb.10.1678626546341; Sun, 12 Mar 2023 06:09:06 -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 b21-20020a17090630d500b008cafeec917dsm2209022ejb.101.2023.03.12.06.09.05 for <59799-done@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 12 Mar 2023 06:09:05 -0700 (PDT) Message-ID: Subject: Re: [PATCH v2 2/2] gnu: Add scasp. From: Liliana Marie Prikler To: 59799-done@debbugs.gnu.org Date: Sun, 12 Mar 2023 14:09:05 +0100 In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.0 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 59799-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 Sonntag, dem 12.03.2023 um 09:15 +0100 schrieb Liliana Marie Prikler: > Am Samstag, dem 03.12.2022 um 10:18 +0100 schrieb Liliana Marie > Prikler: > > * gnu/packages/maths.scm (scasp): New variable. > > --- > Pushed, but I'm leaving this open to get CI gears turning and > actually report errors. CI hath spoken: swi-prolog fails for i686, but so it does on staging where it's still on an older version. The other builds seem to succeed. Cheers ------------=_1678626602-21062-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 3 Dec 2022 09:52:20 +0000 Received: from localhost ([127.0.0.1]:51437 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1PBz-0007Er-K8 for submit@debbugs.gnu.org; Sat, 03 Dec 2022 04:52:19 -0500 Received: from lists.gnu.org ([209.51.188.17]:43412) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1PBx-0007EW-Gj for submit@debbugs.gnu.org; Sat, 03 Dec 2022 04:52:17 -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 1p1PBx-0003Lm-Bl for guix-patches@gnu.org; Sat, 03 Dec 2022 04:52:17 -0500 Received: from mail-ej1-x643.google.com ([2a00:1450:4864:20::643]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1p1PBu-0004wS-UZ for guix-patches@gnu.org; Sat, 03 Dec 2022 04:52:17 -0500 Received: by mail-ej1-x643.google.com with SMTP id vp12so16823158ejc.8 for ; Sat, 03 Dec 2022 01:52:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:from:to:cc:subject:date:message-id:reply-to; bh=57tBSSLrO2gFwbw+h2Q8qL7MklK/7U5xgtSe2hByHJM=; b=YWcCbrOCiWN1APAyCfy2gFDJPePJso7w0Nk0FXiOqx9RpwoMIwCAuIJpqbj8zH4ipz ic56jSdOyb76lZn6qqp5nlAGP7yjbjV/oZVndRqxi8hcI1Yt7JDxZfEEVogrwC1G+rwu UyLU6hZ2iDnJAraUzth/hyomAjt8PK8VvzmXo0Yz005ZnUrb6NkKiNJFRSdswA3SX79q B1yDH7jZvcOr5mEiwgb3O0bYE6A1YZOZtE6+bv/95PEJB/b4ATavzqaNpsR4Elo7lyFN lWhx5lOA6nnASylZHNCkRJSdhV/J/qhN0FXZC0pFMDseQ8EGXY9nlDOU1ILMfuY3Y9wD pXBA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:content-transfer-encoding:to:subject:date :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=57tBSSLrO2gFwbw+h2Q8qL7MklK/7U5xgtSe2hByHJM=; b=MfEnNcBLRagJY6T77Xh6j7f6IN91ite9kFaEVH7+I2uC0j/5wZGvTwF45QDdy3AJhf ZWqvvHfgmeYcU6DsXkSBDBoRke7vQFaP9bJ4lJHZs6Zhb5gJTY/496zhQ2zVIMw9807u hX7OJnquz7em8zBazYVfrHzOCRAMSOkNDWTdd8AOIvZ7dRcYtPzCprkXWwFQhPK2/RPy Hm21WZxzZKjkzNKeHMGL52teR/NAS/MyNu0MdvWwLpdjNzn3hddOFIk6H+5rnoR7jLlY 4fehUvYhpZukLyb1me77UfYoK8aarYwymkBZe9gqppJXnzymdIzBefbHZeF1bXMRo+J1 th+Q== X-Gm-Message-State: ANoB5plkL18qk0CfpJkh1JMkZRsd36haC/Hw0Ud30my1EThTAzviZxuN gIF6YfWxIRBrrIEiwbleYXryrrC3iys= X-Google-Smtp-Source: AA0mqf7PwzOa/j48xaLf3Uuk1aETT/nfYN9K+PAk+QwRU9hDnogRBTnIjG8eHI2SFZcNAB/n3DwPEA== X-Received: by 2002:a17:906:2817:b0:7ba:da1f:a727 with SMTP id r23-20020a170906281700b007bada1fa727mr38957569ejc.276.1670061132287; Sat, 03 Dec 2022 01:52:12 -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 z17-20020a17090655d100b0078df26efb7dsm3993863ejp.107.2022.12.03.01.52.11 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 03 Dec 2022 01:52:12 -0800 (PST) From: Liliana Marie Prikler Date: Sat, 3 Dec 2022 10:23:22 +0100 Subject: [PATCH 0/2] Add scasp to: guix-patches@gnu.org Content-Transfer-Encoding: 7bit Message-ID: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::643; envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x643.google.com X-Spam_score_int: 8 X-Spam_score: 0.8 X-Spam_bar: / X-Spam_report: (0.8 / 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.899, 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: -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 adds scasp (the SWI Prolog implementation anyway), a prolog-based ASP interpreter/solver. Cheers Liliana Marie Prikler (2): gnu: swi-prolog: Update to 9.1.0. gnu: Add scasp. gnu/packages/maths.scm | 37 +++++++++++++++++++++++++++++++++++++ gnu/packages/prolog.scm | 4 ++-- 2 files changed, 39 insertions(+), 2 deletions(-) base-commit: 9e9204958d3e0ecfe8fd024d8f06068b84f52ba1 -- 2.38.1 ------------=_1678626602-21062-1--