[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59896: [PATCH 5/5] gnu: Add python-telingo.
|
From: |
Liliana Marie Prikler |
|
Subject: |
bug#59896: [PATCH 5/5] gnu: Add python-telingo. |
|
Date: |
Thu, 15 Dec 2022 17:00:36 +0100 |
|
User-agent: |
Evolution 3.46.0 |
Am Donnerstag, dem 08.12.2022 um 09:49 +0100 schrieb Liliana Marie
Prikler:
> * gnu/packages/patches/python-telingo-fix-comparison.patch: New file.
> * gnu/local.mk (dist_patch_DATA): Register it.
> * gnu/packages/maths.scm (python-telingo): New variable.
Pushed along with the rest.
- [bug#59896] [PATCH 0/5] Update clingo and add telingo, Liliana Marie Prikler, 2022/12/08
- [bug#59896] [PATCH 1/5] gnu: Add catch2-3.1., Liliana Marie Prikler, 2022/12/08
- [bug#59896] [PATCH 4/5] gnu: Add python-clingo., Liliana Marie Prikler, 2022/12/08
- [bug#59896] [PATCH 2/5] gnu: clingo: Update to 5.6.2., Liliana Marie Prikler, 2022/12/08
- [bug#59896] [PATCH 5/5] gnu: Add python-telingo., Liliana Marie Prikler, 2022/12/08
- bug#59896: [PATCH 5/5] gnu: Add python-telingo.,
Liliana Marie Prikler <=
- [bug#59896] [PATCH 3/5] gnu: clingo: Use G-Expressions., Liliana Marie Prikler, 2022/12/08