branch master updated (33d4992b69 -> 04cad8e29e)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from 33d4992b69 gnu: linux-libre 4.9: Update to 4.9.239.
     new 728d5b6b06 gnu: Add ocaml-lablgtk3-sourceview3.
     new b7971ff798 gnu: lablgtk3: Update to 3.1.2.
     new 1bb856d90a gnu: coq-flocq: Update to 4.1.0.
     new a440e905fd gnu: coq-gappa: Update to 1.5.2.
     new 9140a4dd1d gnu: coq-mathcomp: Update to 1.15.0.
     new 9f391b90fa gnu: coq-interval: Update to 4.5.2.
     new 8734851a8c gnu: coq: Update to 8.16.0.
     new c593429b43 gnu: ocaml-linenoise: Update to 1.4.0.
     new 95fdf691b1 gnu: ocaml-uunf: Update to 15.0.0.
     new 0346e5e090 gnu: ocaml-uucp: Update to 15.0.0.
     new 04cad8e29e gnu: Add ideviceinstaller.

The 11 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/coq.scm    | 47 ++++++++++++++++++++++++++++-------------------
 gnu/packages/games.scm  |  7 ++-----
 gnu/packages/libusb.scm | 24 ++++++++++++++++++++++++
 gnu/packages/maths.scm  |  1 +
 gnu/packages/ocaml.scm  | 45 ++++++++++++++++++++++++++++++++-------------
 5 files changed, 87 insertions(+), 37 deletions(-)