branch master updated (9c5e3fb -> 8d06906)

[guix-commits]

samplet pushed a change to branch master
in repository guix.

    from 9c5e3fb  gnu: blender: Update to 2.83.5.
     new a928f35  gnu: ghc-pcre-light: Set '#:extra-directories'.
     new 991ca49  gnu: ghc-regex-pcre: Set '#:extra-directories'.
     new 856def7  gnu: ganeti: Tell GHC to use shared libraries.
     new 8d06906  gnu: agda: Adjust for using shared libraries.

The 4 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/agda.scm           | 46 ++++++++++++++++++++---------------------
 gnu/packages/haskell-xyz.scm    |  4 ++++
 gnu/packages/virtualization.scm |  6 +++++-
 3 files changed, 32 insertions(+), 24 deletions(-)