branch core-updates updated (f828ff5 -> 65efa9b)

[Ludovic Courtès]

civodul pushed a change to branch core-updates
in repository guix.

      from  f828ff5   gnu: boost: Allow for customizable build flags.
       new  a083b5c   gnu: mit-krb5: Disable parallel build and testing.
       new  65efa9b   gnu: mit-krb5: Update to 1.14.2.

The 2 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                                       |    4 -
 gnu/packages/mit-krb5.scm                          |   18 +-
 gnu/packages/patches/mit-krb5-CVE-2015-8629.patch  |   51 --
 gnu/packages/patches/mit-krb5-CVE-2015-8630.patch  |   81 ---
 gnu/packages/patches/mit-krb5-CVE-2015-8631.patch  |  576 --------------------
 .../mit-krb5-init-context-null-spnego.patch        |   49 --
 6 files changed, 10 insertions(+), 769 deletions(-)
 delete mode 100644 gnu/packages/patches/mit-krb5-CVE-2015-8629.patch
 delete mode 100644 gnu/packages/patches/mit-krb5-CVE-2015-8630.patch
 delete mode 100644 gnu/packages/patches/mit-krb5-CVE-2015-8631.patch
 delete mode 100644 gnu/packages/patches/mit-krb5-init-context-null-spnego.patch