branch master updated (e32ea56f05 -> 74a1e5378a)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from e32ea56f05 gnu: emacs-orgit: Update to 1.8.0.
     new 8a338de276 gnu: coq-flocq: Update to 4.0.0.
     new 575c4ad510 gnu: coq-gappa: Update to 1.5.1.
     new 238a900bae gnu: coq-bignums: Update to 8.15.0.
     new 6b6474fec7 gnu: coq-interval: Update to 4.4.0.
     new 5179f4525d gnu: coq: Update to 8.15.0.
     new 74a1e5378a gnu: coq-mathcomp: Update to 1.14.0.

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/packages/coq.scm                       |  28 +++---
 gnu/packages/patches/coq-fix-envvars.patch | 148 ++++++-----------------------
 2 files changed, 45 insertions(+), 131 deletions(-)