branch master updated (9038a46751 -> 4a0549be52)

[guix-commits]

lilyp pushed a change to branch master
in repository guix.

    from 9038a46751 gnu: c2ffi: Update to 16.0.0.0.
     new d1ecd3c67c gnu: Add wide-integer.
     new 1bd9cbe27f gnu: python-scikit-build: Install cmake modules.
     new ba91a7ae60 gnu: libpotassco: Update to 0.0-2.69b677f.
     new 9aabeb11a0 gnu: clasp: Update to 3.3.10.
     new a3de85db29 gnu: clingo: Update to 5.7.1.
     new b3e363024a gnu: clingo: Build from actual sources.
     new 0036a1eaa5 gnu: clingo-dl: Update to 1.5.0.
     new 9bb8f6bff2 gnu: python-clingo: Fix build.
     new 54e122c13d gnu: python-clingo-dl: Fix build.
     new 9c2c2f4fe4 gnu: python-clorm: Update to 1.5.0.
     new d694062fb5 gnu: python-plingo: Update to 1.1.0.
     new e046d6d443 gnu: python-telingo: Update to 2.1.3.
     new c8837f8f03 gnu: python-scikit-build: Add more non-deterministic test 
failures.
     new 0b969af153 gnu: Add greatest.
     new 4a0549be52 gnu: Add theft.

The 15 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/local.mk                                       |  1 -
 gnu/packages/check.scm                             | 53 +++++++++++++++++++++
 gnu/packages/cpp.scm                               | 31 ++++++++++++
 .../patches/python-telingo-fix-comparison.patch    | 19 --------
 gnu/packages/potassco.scm                          | 55 ++++++++++++++--------
 gnu/packages/python-xyz.scm                        | 13 ++++-
 6 files changed, 131 insertions(+), 41 deletions(-)
 delete mode 100644 gnu/packages/patches/python-telingo-fix-comparison.patch