branch master updated (ed824a3 -> b84257c)

[Hartmut Goebel]

htgoebel pushed a change to branch master
in repository guix.

      from  ed824a3   gnu: xorg: Make font packages bit-reproducible.
       new  b84257c   gnu: Add tipp10 touch typing tutor.

The 1 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                                       |    2 +
 gnu/packages/education.scm                         |   58 ++++
 gnu/packages/patches/tipp10-fix-compiling.patch    |  213 +++++++++++++
 .../patches/tipp10-remove-license-code.patch       |  332 ++++++++++++++++++++
 4 files changed, 605 insertions(+)
 create mode 100644 gnu/packages/patches/tipp10-fix-compiling.patch
 create mode 100644 gnu/packages/patches/tipp10-remove-license-code.patch