gnu: Add ocaml-yaml.

* gnu/packages/ocaml.scm (ocaml-yaml): New variable.

Change-Id: Ia890e505dd3ff0fe9a8c243adef460e0475d9e81
Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: Add ocaml-junit-alcotest.

* gnu/packages/ocaml.scm (ocaml-junit-alcotest): New variable.

Change-Id: I377bbba90e8625a47680643db2ef84fabbe60908
Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: Add ocaml-junit.

* gnu/packages/ocaml.scm (ocaml-junit): New variable.

Change-Id: I69fd4302b0a178765a79a72801eed694b3bd3ebd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: Add ocaml-ppx-deriving-yojson.

* gnu/packages/ocaml.scm (ocaml-ppx-deriving-yojson): New variable.

Change-Id: I3f5dfdf39c7e7d9655fc26ee6cc88a2c30485d57
Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: ocaml-ppx-bench: Update to 0.16.0.

* gnu/packages/ocaml.scm (ocaml-ppx-bench): Update to 0.16.0.

Change-Id: If65570f4baff82200bf30c0277f2dccad9e23732

gnu: ocaml-jst-config: Update to 0.16.0.

* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.16.0.

Change-Id: I9203537dc8d33ee4bf4fb88c6a641f8ecfaecdb0

gnu: ocaml-ppx-bin-prot: Update to 0.16.0.

* gnu/packages/ocaml.scm (ocaml-ppx-bin-prot): Update to 0.16.0.

Change-Id: Ib907aca6c1d76ecf0d8ddc8ce30728546b4adb9c

gnu: ocaml-bin-prot: Update to 0.16.0.

* gnu/packages/ocaml.scm (ocam-bin-prot): Update to 0.16.0.
(bap)[arguments]: Fix code after ocaml-bin-prot changes.

Change-Id: I0756cfaaed2e487c18f6cab119fb7ac8b2863edd

gnu: Add ocaml-ppx-stable-witness.

* gnu/packages/ocaml.scm (ocaml-ppx-stable-witness): New variable.

Change-Id: I697c87ec27f0c218de1419ab699e14f7dffa3ca0

gnu: ocaml-ppxlib: Update to 0.28.

* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.28.
(ocaml-sedlex): Update to 2.6.
(ocaml-ppx-sexp-conv): Update to 0.15.1.
(ocaml-bisect-ppx): Update to 2.8.3.

Change-Id: I8fa47249063a93b813f2822d4f9f85798473e4d0

gnu: ocaml-sexplib: Update to 0.16.0.

* gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.16.0.

Change-Id: Ib7c2737b64f5b1f8de7ea8db7bcba05ef813c5db

gnu: ocaml-alcotest: Update to 1.7.0.

* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.7.0.

Change-Id: I87bb7eec4a8b36c499448685df3e11c2edaba31b

gnu: opam: Split build into smaller sub-packages.

* gnu/packages/ocaml.scm (opam): Split build into smaller sub-packages.
  (ocaml-down, ocaml-topkg, ocaml-rresult, ocaml-mtime, ocaml-fmt,
  ocaml-astring, ocaml-react, ocaml-hmap, ocaml-logs, ocaml-fpath, ocaml-bos,
  ocaml-xmlm, ocaml-uchar, ocaml-uutf, ocaml-uunf, ocaml-jsonm, ocaml-ptime,
  ocaml-uuidm, ocaml-tsdl, ocaml-uucp, ocaml-uucd, ocaml-uuseg,
  ocaml-afl-persistent, ocaml-ocb-stubblr) [native-inputs]: Replace opam with
  opam-installer.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Idb70a93b557d2fcf59335b3e1ff5acdd3d2535aa

gnu: dune-bootstrap: Update to 3.11.0.

* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.10.0.
  [description]: Revise and de-emphasize historic origin.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: If7268231b4d699b4e62fd1c72a8abf5cec4e6af8

gnu: coq: Update to 8.17.1.

* gnu/packages/coq.scm (coq): Update to 8.17.1 and merge with coq-core and coq-stdlib.
  [arguments] Merge with coq-core and coq-stdlib. Add pre-build phases and
  add a custom install phase. Remove unnecessary test-target.
  [source](patches): Remove.
  [native-search-paths]: Remove COQLIBPATH and COQCORELIB.
  (coq-core): Remove variable.
  (coq-stdlib): Remove variable.
  (coq-ide)[propagated-inputs]: Add zlib.
  (coq-mathcomp-bigenough)[propagated-inputs]: Remove coq-core.
  (coq-mathcomp-finmap)[inputs]: Remove coq-stdlib.
  (coq-equations): Update to 1.3-8.17.
* gnu/packages/patches/coq-fix-envvars.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.

Co-authored-by: Josselin Poiret <dev@jpoiret.xyz>
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I0a0d9f7a6e06dd19ce1b66051334476d85f4f195

gnu: Update coq-interval to 4.8.0.

* gnu/packages/coq.scm (coq-interval): Update to 4.8.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I17e2426aacd84289eff538a195b79683eb98fe9f

gnu: Update coq-stdpp to 1.8.0.

* gnu/packages/coq.scm (coq-stdpp): Update to 1.8.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Id44b29296fa6de706b0a3eac90616ba0de126f87

gnu: Update coq-autosubst to 1.8.

* gnu/packages/coq.scm (coq-autosubst): Update to 1.8.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I36b226afd3ed043977c6188dcb6bdeaf2e402de8

gnu: Update coq-mathcomp to 1.17.0.

* gnu/packages/coq.scm (coq-mathcomp): Update to 1.17.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Ia8397f94b7158128e6473811355a2c596c98970b

gnu: Update coq-coquelicot to 3.4.0.

* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I14c18abdbb7bebea75ac26be9c4c1954778cef22