branch master updated (a0804f4 -> 3fc0fa9)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from a0804f4  gnu: ocaml-ctypes: Update to 0.19.1.
     new b1baba3  gnu: coq: Add upstream-name.
     new 24fba10  gnu: camlzip: Update to 1.11.
     new 26dd232  gnu: why3: Update to 1.4.0.
     new 6516e88  gnu: frama-c: Update to 23.1.
     new 9eea1f8  gnu: ocaml-base64: Update to 3.5.0.
     new bf64ef1  gnu: ocaml-bisect-ppx: Add upstream-name.
     new a3d528f  gnu: ocaml-cairo2: Update to 0.6.2.
     new f86cad2  gnu: ocaml-version: Add upstream-name.
     new 3fc0fa9  gnu: ocaml-graphics: Update to 5.1.2.

The 9 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/local.mk                                       |  1 -
 gnu/packages/coq.scm                               |  1 +
 gnu/packages/maths.scm                             | 26 +++++----
 gnu/packages/ocaml.scm                             | 59 ++++++-------------
 .../patches/ocaml-cairo2-caml_ba_array-fix.patch   | 68 ----------------------
 5 files changed, 35 insertions(+), 120 deletions(-)
 delete mode 100644 gnu/packages/patches/ocaml-cairo2-caml_ba_array-fix.patch