branch master updated (f6e3f0f -> a8f52ad)

[guix-commits]

nckx pushed a change to branch master
in repository guix.

      from  f6e3f0f   vm: Remove Xorriso "-padding" option.
       new  8da3f78   gnu: ocamlbuild: Don't use unstable tarball.
       new  b42a72b   gnu: ocaml4.02-ezjsonm: Fix tag.
       new  de957d9   gnu: address@hidden: Don't use unstable tarball.
       new  6aade73   gnu: camlp5: Don't use unstable tarball.
       new  f541d86   gnu: emacs-tuareg: Don't use unstable tarball.
       new  67f1db3   gnu: muparser: Don't use unstable tarball.
       new  90cea67   gnu: openspecfun: Don't use unstable tarball.
       new  fabcbf3   gnu: hypre: Don't use unstable tarball.
       new  be09972   gnu: hypre: Update to 2.15.1.
       new  0924b5b   gnu: sbcl-cffi-bootstrap: Don't use unstable tarball.
       new  0458ec2   gnu: sbcl-hunchentoot: Don't use unstable tarball.
       new  a8f52ad   gnu: laby: Fix build.

The 12 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/games.scm | 11 ++++++--
 gnu/packages/lisp.scm  | 22 ++++++++-------
 gnu/packages/maths.scm | 69 +++++++++++++++++++++++----------------------
 gnu/packages/ocaml.scm | 76 ++++++++++++++++++++++++++++----------------------
 4 files changed, 98 insertions(+), 80 deletions(-)