GNU bug report logs - #68713
[PATCH 0/4] More clingo stuff.

Previous Next

Package: guix-patches;

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

Date: Thu, 25 Jan 2024 10:28:01 UTC

Severity: normal

Tags: patch

Full log

View this message in rfc822 format

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: 68713 <at> debbugs.gnu.org
Subject: [bug#68713] [PATCH 0/4] More clingo stuff.
Date: Thu, 25 Jan 2024 11:25:50 +0100

Hi Guix,

this series adds Lua bindings for clingo and some more python-based
extensions.

Cheers

Liliana Marie Prikler (4):
  gnu: Add python-clingo-dl.
  gnu: python-clorm: Reindent with emacs.
  gnu: Add python-plingo.
  gnu: Add lua-clingo.

 gnu/packages/potassco.scm | 156 ++++++++++++++++++++++++++++++--------
 1 file changed, 126 insertions(+), 30 deletions(-)


base-commit: 2266754382bce43789976aec65181cb5085c8bc4
-- 
2.41.0
This bug report was last modified 1 year and 140 days ago.

Previous Next

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