branch master updated (e930d4a -> 7537ec8)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from e930d4a  gnu: perl-tie-handle-offset: Fix typo.
     new 2d60af4  gnu: Add coq-semantics.
     new 7b93c6d  gnu: coq-mathcomp: Adjust '#:make-flags'.
     new 5d7d64f  gnu: coq-autosubst: Adjust '#:make-flags'.
     new 4423cae  gnu: coq-equations: Adjust '#:make-flags'.
     new 7537ec8  gnu: coq-stdpp: Adjust '#:make-flags'.

The 5 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/coq.scm | 96 ++++++++++++++++++++++++++++++++++++----------------
 1 file changed, 67 insertions(+), 29 deletions(-)