From unknown Mon Aug 18 08:56:43 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#67396 <67396@debbugs.gnu.org> To: bug#67396 <67396@debbugs.gnu.org> Subject: Status: [PATCH 0/2] Add plasp Reply-To: bug#67396 <67396@debbugs.gnu.org> Date: Mon, 18 Aug 2025 15:56:43 +0000 retitle 67396 [PATCH 0/2] Add plasp reassign 67396 guix-patches submitter 67396 Liliana Marie Prikler severity 67396 normal tag 67396 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 23 04:27:05 2023 Received: (at submit) by debbugs.gnu.org; 23 Nov 2023 09:27:06 +0000 Received: from localhost ([127.0.0.1]:60605 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r65zF-0001Yy-LT for submit@debbugs.gnu.org; Thu, 23 Nov 2023 04:27:05 -0500 Received: from lists.gnu.org ([2001:470:142::17]:59780) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r65zD-0001YU-DB for submit@debbugs.gnu.org; Thu, 23 Nov 2023 04:27: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 1r65z3-0008Ey-P4 for guix-patches@gnu.org; Thu, 23 Nov 2023 04:26:54 -0500 Received: from mail-ej1-x642.google.com ([2a00:1450:4864:20::642]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r65z2-0008VB-3t for guix-patches@gnu.org; Thu, 23 Nov 2023 04:26:53 -0500 Received: by mail-ej1-x642.google.com with SMTP id a640c23a62f3a-a00a9c6f1e9so84888966b.3 for ; Thu, 23 Nov 2023 01:26:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700731609; x=1701336409; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=NM1dRRY+knd6CqoFTrUbapReRjJY0LF8Uz0QO4z1phE=; b=VuE0l4PT2WpY9Bp/lbtnMp0dhKb69HWCtT6CAI9mjTUJ8mDwf1ghpfaCrnrNl+3P24 5PFI1WIPv7iJYIMbtXczEPCsIdCEl0Oi8yegLJZvIz+j6cVSX8KD4zQPhBkKOwhZNyeI hqcZC6WWiB5Aug5iP6rN3+04HZzKdPVxPWbaACPefL1t9HLTsm8ytkpbhSRQcw6uTiBY 9WGeW4BEwquSgh7aVnmWTBU5jbJytRNtssySpnOTu6ttxLM9CSmy6kJFuiCCg3iV8wid omcFC9ej8ByKBxMDxUWnUPmbN+nKk0YBLeSI5RVG3zROIQNDZtkpee7hiHaV1QV0DABI fDOg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700731609; x=1701336409; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=NM1dRRY+knd6CqoFTrUbapReRjJY0LF8Uz0QO4z1phE=; b=s6ofWTAXmFMntmLeYWN3zHQ9Hb1DtNTCfQDPY/f2q2lco8vTpSIWepUujQM1n/avDy VlzSl4iQhofdrmmTNJwlzlrEr6CeAm6qb4cW+3gQf4vlPCl6QRnvVlRmqHuQosI7jopf r8rV9Zn4eE59iimWAbPldbifTxAeYQF9p851/xNTcjkLj4Y/VT7NbbaCHRm2GOA10q2N Pn3hX77cM9bynJUAUAEQAvbYgv/VPV6LfiT88TXckj8K7RR9gxJJCxv79XCpIXsgzDCu 6gTjfGTom+NNLsI/5Ote2PwzyqvyzIdwik+3UBtWskSKXVUI9rui4rQkQanmK7U3J1nr qBMQ== X-Gm-Message-State: AOJu0Yy95hUKudWmrapjKCsL/CONr7VClD8eVC9fLY+dr6KC+2TgY0b+ GmY9xmgtIbBL6y2O2kr0Dp9Obn4zUJMNuw== X-Google-Smtp-Source: AGHT+IEb83KEz4c6bbgdjNFhq9pCr0Ghl5ieo2NFlDrNFfeV9y1TFYdkQn4D9fa66Nc7aV7+cid7YA== X-Received: by 2002:a17:906:7396:b0:a04:7d85:2a7c with SMTP id f22-20020a170906739600b00a047d852a7cmr2884209ejl.59.1700731609311; Thu, 23 Nov 2023 01:26:49 -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 cb8-20020a170906a44800b009fd4583851esm540061ejb.178.2023.11.23.01.26.47 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 23 Nov 2023 01:26:47 -0800 (PST) Message-ID: From: Liliana Marie Prikler Date: Thu, 23 Nov 2023 10:25:37 +0100 Subject: [PATCH 0/2] Add plasp to: guix-patches@gnu.org MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::642; envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x642.google.com X-Spam_score_int: 11 X-Spam_score: 1.1 X-Spam_bar: + X-Spam_report: (1.1 / 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.199, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-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: Hi Guix, this series adds plasp, an ASP-based planning system. Cheers 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: Hi Guix, this series adds plasp, an ASP-based planning system. Cheers 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 Hi Guix, this series adds plasp, an ASP-based planning system. Cheers Liliana Marie Prikler (2): gnu: Add mapbox-variant. gnu: Add plasp. gnu/local.mk | 2 + gnu/packages/cpp.scm | 37 ++++++++++++++ .../patches/plasp-fix-normalization.patch | 51 +++++++++++++++++++ .../patches/plasp-include-iostream.patch | 26 ++++++++++ gnu/packages/potassco.scm | 32 ++++++++++++ 5 files changed, 148 insertions(+) create mode 100644 gnu/packages/patches/plasp-fix-normalization.patch create mode 100644 gnu/packages/patches/plasp-include-iostream.patch base-commit: 5023424f16029ed8e24dc2b2ba8eba5812ece26b -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Nov 30 14:19:19 2023 Received: (at 67396-done) by debbugs.gnu.org; 30 Nov 2023 19:19:19 +0000 Received: from localhost ([127.0.0.1]:54521 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r8mZD-00084X-DA for submit@debbugs.gnu.org; Thu, 30 Nov 2023 14:19:19 -0500 Received: from mail-wm1-x341.google.com ([2a00:1450:4864:20::341]:54473) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r8mZC-00084C-7Y for 67396-done@debbugs.gnu.org; Thu, 30 Nov 2023 14:19:18 -0500 Received: by mail-wm1-x341.google.com with SMTP id 5b1f17b1804b1-40b27726369so12230475e9.0 for <67396-done@debbugs.gnu.org>; Thu, 30 Nov 2023 11:19:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1701371944; x=1701976744; 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=G5WRp5sJWOwdvtEIKJuv4f5G5/NsAN/a1XpxOBP6L0Q=; b=DvJDEdhD2Mmhl/+bGsn9P1gyTZn7fSlS0vFqFDVcLi3nPYFCMXmyuy2o1nbyjscED+ GviO7G6k05eh1QkzGNaCU12I5DmCDJ0tIDw9dSq5LeEcaD2u3g/6RDCAiuRws+zsxtal 6Hy9HVFOwTBpoEszlenpQzkPxKV+e0USzVqFfAN4b2axBwNwI1/a9Ujz1kakqPIQ5nDB KCWeMscFGJIPEHWDrNRmwsF4GcbegEd4ZTSllHGVoHpQKf/To2Y06wGjd5DNyWKf9lds ZaHL/c+EtUTDp/3gDz0JAPK0UNldfuZ5fiyQMYPxfxRrNJxwZZLHRafZTuVDLcQ1YI37 gDqQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701371944; x=1701976744; 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=G5WRp5sJWOwdvtEIKJuv4f5G5/NsAN/a1XpxOBP6L0Q=; b=oAOvZYLj9qHRtuEDy8G8J7f8ficJdoW1Y8sHhTktQ7r/QIZ9u09ca1wtkSG4C6Ie9K Bl1Dfv5f8lKZcRcHhm1pekMRJJrjJUKf2pUJ23oxW8UJaEVOuzrW//n4a4xIH+V5oF+3 SsO+rxJ0QA5/IlzzXpZbBFbvL0AUPHgbNCtqyfv5rGIThaOmLNcaVI1mZMpvXZxqIOqw wEmoHiJ0NoffK8dW/YMKd0yCgR7p0/zYj0PzfX4YNNP4Smu9GL6MxzQm7D56dCeIdc91 vIzFO/zsSNtoQUwa5CrCC3TEnyZpWqCOGb1aVXRUoZMS6Lu9PlXq4+INK9cfO80Pfcrq XXYw== X-Gm-Message-State: AOJu0YxlD9JVefUunJmxcxu0OkM/Y2e03dzIO0krB1mSY7c145iOFISt /0wDUNckJp3sFLIHavwHmiPmnGqFzQ9b8Q== X-Google-Smtp-Source: AGHT+IFv1QKo55solw+ZEMGqTmCctf2pn8woImFJC/jrl0vZ9X7TIfpoeq1oVCtxKmJFBmF64Fb6Qg== X-Received: by 2002:adf:ce8e:0:b0:333:2fd2:68e5 with SMTP id r14-20020adfce8e000000b003332fd268e5mr1604wrn.120.1701371943473; Thu, 30 Nov 2023 11:19:03 -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 t9-20020a5d6a49000000b0033172f984eesm2281369wrw.50.2023.11.30.11.19.02 for <67396-done@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 30 Nov 2023 11:19:02 -0800 (PST) Message-ID: Subject: Re: [PATCH 0/2] Add plasp From: Liliana Marie Prikler To: 67396-done@debbugs.gnu.org Date: Thu, 30 Nov 2023 20:19:00 +0100 In-Reply-To: References: 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: 67396-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 23.11.2023 um 10:25 +0100 schrieb Liliana Marie Prikler: > Hi Guix, >=20 > this series adds plasp, an ASP-based planning system. Now that's embarrassing=E2=80=A6 turns out I didn't send the patches, but pushed them already. Sorry! From unknown Mon Aug 18 08:56:43 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 29 Dec 2023 12:24:08 +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