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

Previous Next

Full log

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/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

Previous Next

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