branch master updated (3d679ab -> 6efc999)

[julien lepiller]

roptat pushed a change to branch master
in repository guix.

      from  3d679ab   gnu: lame: Update to 3.100.
       new  07b4cd3   gnu: camlp5: install META file.
       new  6e4da73   gnu: Update coq to 8.7.0.
       new  b44f13e   gnu: Update coq-flocq to 2.6.0.
       new  2e331c9   gnu: Update coq-mathcomp to 1.6.2.
       new  3ffd180   gnu: Update coq-coquelicot to 3.0.1.
       new  dbfb1a5   gnu: Add coq-bignums.
       new  6efc999   gnu: Update coq-interval to 3.3.0.

The 7 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 | 76 +++++++++++++++++++++++++++++++++++++++-----------
 1 file changed, 59 insertions(+), 17 deletions(-)