From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id AH3WBisbX2UNKgEAauVa8A:P1 (envelope-from ) for ; Thu, 23 Nov 2023 10:28:11 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id AH3WBisbX2UNKgEAauVa8A (envelope-from ) for ; Thu, 23 Nov 2023 10:28:11 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id D5E405A252 for ; Thu, 23 Nov 2023 10:28:10 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=VuE0l4PT; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1700731690; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=NM1dRRY+knd6CqoFTrUbapReRjJY0LF8Uz0QO4z1phE=; b=WcOgbV0kFglSsVHwnrGLGuxMRQw5WJOvavCmV0SX9jKdIKQJL813wbCXox+rwdK/5hKy2o 5v0bWITZy4UYu2qVU/+AaSXtH/GLZ+xagXFcEAjVs40nDaHURc9bdyW8kZF16WmUzkvT+t KAjLsCFF9dkOZfkCNqo9LZJkum4qKHzxGOC9M98w71YU7tV0SfK4O0ALCQ8lMUuv5UyNhW gMt5ztn92Bzeg9RcsGx2tb9YjNcy/er7ibvikvD39LRn5sO8p3DGGIpvrEop1lB1cOLNHj NsQpQjTyVlxFlsfw/OFpmZk7gyFfPzqi/BDSlYIiMXeDciFKd86XSg12EbXtcg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=VuE0l4PT; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1700731690; a=rsa-sha256; cv=none; b=gRgfdJfLSQOSgnsvf9x+N6+vcCpbY1oHOFfg+cahelgOOlXkE4ub6YmHKkmjTOFflyMOgH 4T3x4dsAags0mTgX/zENRCzL57PByNOY0ULwqhySQeR89eymKD1u7ZHp1zBvZQVCVp+TGB kJK1G7vt3RqskH7dJk4P5PWe8kOjy4Wj5cYMz8VKi+mNufF+vH/0gfV/WC9AJy9YACsDcZ OjzAqm9IS6bM8V30yFd05wPp7Z5TKqnyd9lxdzor2pxZmjOW4TFXVZHfDdeihX9t3Gq3CN 2dPBTKaBx+ejZhKajmjrXt67j+gSrq5moUV0p1JTkR9ls+lRnlcblAAQrlBmpA== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r6608-0008L1-5f; Thu, 23 Nov 2023 04:28:00 -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 1r6607-0008Ks-5Z for guix-patches@gnu.org; Thu, 23 Nov 2023 04:27:59 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r6606-0000Ca-Tl for guix-patches@gnu.org; Thu, 23 Nov 2023 04:27:58 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r660A-0001a8-F5 for guix-patches@gnu.org; Thu, 23 Nov 2023 04:28:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#67396] [PATCH 0/2] Add plasp Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 23 Nov 2023 09:28:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 67396 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 67396@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17007316266017 (code B ref -1); Thu, 23 Nov 2023 09:28:02 +0000 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 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -5.02 X-Spam-Score: -5.02 X-Migadu-Queue-Id: D5E405A252 X-Migadu-Scanner: mx10.migadu.com X-TUID: vFRELtqD+66y 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