branch master updated (56c394e -> e31b75f)

[David Craven]

dvc pushed a change to branch master
in repository guix.

      from  56c394e   gnu: icecat: Add more fixes from upstream mozilla-esr45.
       new  f63981d   gnu: Add ghc-hinotify.
       new  b7f9628   gnu: Add ghc-fsnotify.
       new  f7e624b   gnu: Add ghc-tasty-rerun.
       new  5e6cafe   gnu: Add ghc-ieee754.
       new  4e05c32   gnu: Add ghc-terminal-size.
       new  3ea2517   gnu: ghc-trifecta: Update to 1.6.
       new  60bc622   gnu: idris: Update to 0.12.3.
       new  2694d1d   gnu: coq: Update to 8.5pl2.
       new  e31b75f   gnu: Add ocaml-menhir.

The 9 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/packages/haskell.scm |  213 +++++++++++++++++++++++++++++++++++++---------
 gnu/packages/ocaml.scm   |   70 +++++++++++----
 2 files changed, 227 insertions(+), 56 deletions(-)