branch master updated (4a79e25 -> 1973183)

[Mark H. Weaver]

mhw pushed a change to branch master
in repository guix.

      from  4a79e25   gnu: Add devhelp.
       new  69b8f08   gnu: ocaml: Update to 4.02.1.
       new  83f4dc3   gnu: Add camlp5.
       new  d6b7b5e   gnu: Add hevea.
       new  c058f4e   licenses: Add the Open Publication License 1.0.
       new  1973183   gnu: Add coq.

The 5 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/ocaml.scm |  247 +++++++++++++++++++++++++++++++++++++++---------
 guix/licenses.scm      |    6 +
 2 files changed, 210 insertions(+), 43 deletions(-)