[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68713] [PATCH 0/4] More clingo stuff.
From: |
Liliana Marie Prikler |
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
- [bug#68713] [PATCH 0/4] More clingo stuff.,
Liliana Marie Prikler <=