branch master updated (1a1b54b -> fa574a6)

[guix-commits]

civodul pushed a change to branch master
in repository guix.

      from  1a1b54b   gnu: emacs-guix: Update to 0.5.1.
       new  62b845c   offload: Display the normalized load in 'guix offload 
status' output.
       new  f5301f0   gnu: Remove conkeror.
       new  fa574a6   gnu: z3: Update to 4.8.3 and provide python3 bindings

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 gnu/local.mk              |  1 -
 gnu/packages/conkeror.scm | 83 -----------------------------------------------
 gnu/packages/gnuzilla.scm |  5 +++
 gnu/packages/maths.scm    | 34 +++++++++++--------
 guix/scripts/offload.scm  |  2 +-
 5 files changed, 27 insertions(+), 98 deletions(-)
 delete mode 100644 gnu/packages/conkeror.scm