branch master updated (55f6d9e -> 505d53a)

[guix-commits]

lilyp pushed a change to branch master
in repository guix.

    from 55f6d9e  etc: completion: Filter gratuitous spaces from available 
packages.
     new 92d3f26  gnu: Add libpotassco.
     new 2dfc574  gnu: Add clasp.
     new 505d53a  gnu: Add clingo.

The 3 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/maths.scm | 157 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 157 insertions(+)