GNU bug report logs - #67396
[PATCH 0/2] Add plasp

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Thu, 23 Nov 2023 09:28:02 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 67396 in the body.
You can then email your comments to 67396 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#67396; Package guix-patches. (Thu, 23 Nov 2023 09:28:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Liliana Marie Prikler <liliana.prikler <at> gmail.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Thu, 23 Nov 2023 09:28:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: guix-patches <at> gnu.org
Subject: [PATCH 0/2] Add plasp
Date: Thu, 23 Nov 2023 10:25:37 +0100

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
Reply sent to Liliana Marie Prikler <liliana.prikler <at> gmail.com>:
You have taken responsibility. (Thu, 30 Nov 2023 19:20:02 GMT) Full text and rfc822 format available.
Notification sent to Liliana Marie Prikler <liliana.prikler <at> gmail.com>:
bug acknowledged by developer. (Thu, 30 Nov 2023 19:20:02 GMT) Full text and rfc822 format available.

Message #10 received at 67396-done <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 67396-done <at> debbugs.gnu.org
Subject: Re: [PATCH 0/2] Add plasp
Date: Thu, 30 Nov 2023 20:19:00 +0100

Am Donnerstag, dem 23.11.2023 um 10:25 +0100 schrieb Liliana Marie
Prikler:
> Hi Guix,
> 
> this series adds plasp, an ASP-based planning system.
Now that's embarrassing… turns out I didn't send the patches, but
pushed them already.  Sorry!
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 29 Dec 2023 12:24:08 GMT) Full text and rfc822 format available.
This bug report was last modified 1 year and 132 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.