Hi Guix, ever since clasp received a relatively minor upgrade [1], our clingo package has been failing to build. This appears to be the fault of potassco not doing semver correctly, but it'd still be nice to fix this. Following is a series that updates clingo and also adds telingo -- a temporal extension to clingo. Cheers [1] http://git.savannah.gnu.org/cgit/guix.git/commit/?id=148c75e75e90d574a2c31c00ad24d1117512bd13 Liliana Marie Prikler (5): gnu: Add catch2-3.1. gnu: clingo: Update to 5.6.2. gnu: clingo: Use G-Expressions. gnu: Add python-clingo. gnu: Add python-telingo. gnu/local.mk | 1 + gnu/packages/check.scm | 79 ++++++++++ gnu/packages/maths.scm | 146 ++++++++++++------ .../python-telingo-fix-comparison.patch | 19 +++ 4 files changed, 199 insertions(+), 46 deletions(-) create mode 100644 gnu/packages/patches/python-telingo-fix-comparison.patch base-commit: b94724e8b2102be0fe9d19e9dfe44d6f7101bd4b -- 2.38.1