branch master updated (b19f5bbac7 -> f19d49e69c)

[guix-commits]

lilyp pushed a change to branch master
in repository guix.

    from b19f5bbac7 gnu: ncdu: Update to 1.18.
     new 407b4f5661 gnu: Add catch2-3.1.
     new 188269f062 gnu: clingo: Update to 5.6.2.
     new 25e3e0c6ec gnu: clingo: Use G-Expressions.
     new 1339623a42 gnu: Add python-clingo.
     new 4f94156452 gnu: Add python-telingo.
     new f19d49e69c gnu: Add orf-dl.

The 6 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                             |  79 +++++++++++
 gnu/packages/maths.scm                             | 146 ++++++++++++++-------
 .../patches/python-telingo-fix-comparison.patch    |  19 +++
 gnu/packages/video.scm                             |  33 +++++
 5 files changed, 232 insertions(+), 46 deletions(-)
 create mode 100644 gnu/packages/patches/python-telingo-fix-comparison.patch