branch master updated (917a299831 -> de088be221)

[guix-commits]

nckx pushed a change to branch master
in repository guix.

    from 917a299831 gnu: python-yubikey-manager: Update to 5.1.1.
     new c2c13e3225 download: Remove broken X.org mirrors.
     new 4920d11ec1 download: Remove stale Yandex GNOME mirror.
     new 86e95b2205 gnu: boolector: Use HTTPS home page.
     new 69c3a06a1c gnu: btor2tools: Use HTTPS home page.
     new 626c0b7cd6 gnu: nsd: Update to 4.7.0.
     new eaac211730 gnu: nsd: Use G-expressions.
     new 60bb22a9da gnu: knot: Update to 3.2.8.
     new 1c347cd56a gnu: knot: Use G-expressions.
     new a1ae54b10b gnu: yadifa: Update to 2.6.4.
     new 6f80e25f35 gnu: blasr-libcpp, blasr: Use Web Archived home pages.
     new c848cd643c gnu: brdf-explorer: Use Web Archived home page.
     new de088be221 gnu: brdf-explorer: Mark up description.

The 12 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/bioinformatics.scm |   7 +-
 gnu/packages/dns.scm            | 235 ++++++++++++++++++++--------------------
 gnu/packages/graphics.scm       |  18 +--
 gnu/packages/maths.scm          |   4 +-
 guix/download.scm               |   7 +-
 5 files changed, 139 insertions(+), 132 deletions(-)