Subject: [bug#68713] [PATCH 0/4] More clingo stuff.

From: Liliana Marie Prikler <[email-masked]>
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