lilyp pushed a change to branch master
in repository guix.
from c6ff1d6ff7 gnu: trealla: Update to 2.55.10.
new d3e2b68e38 gnu: Add python-asprin.
new 009fb462ef gnu: Add python-clingox.
new e165382c16 gnu: zug: Update to 0.1.1.
new 0acc1c68d6 gnu: lager: Update to 0.1.1.
new 661d5eeb8e gnu: klee: Wrap klee-stats for Python dependencies.
new 187b6df6f1 gnu: klee: Enable the test suite.
new 842517477b gnu: klee: Only strip bin directory.
new ed726598fc gnu: klee: Only build on x86_64 Linux.
new 46a64c7fdd gnu: klee-uclibc: Only build on x86_64 Linux.
The 9 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
gnu/packages/check.scm | 33 ++++++++++++++---
gnu/packages/cpp.scm | 94 +++++++++++++++++++++++------------------------
gnu/packages/potassco.scm | 58 +++++++++++++++++++++++++++++
3 files changed, 131 insertions(+), 54 deletions(-)
