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

gnu: Update coq-gappa to 1.5.3.

* gnu/packages/coq.scm (coq-gappa): Update to 1.5.3.

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

gnu: Update coq-flocq to 4.1.1.

* gnu/packages/coq.scm (coq-flocq): Update to 4.1.1.

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

gnu: ocaml: Update to 4.14.1.

* gnu/packages/ocaml.scm (ocaml): Update to 4.14.1.

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

gnu: nats-server: Update to 2.10.10.

* gnu/packages/high-availability.scm (nats-server): Update to 2.10.10.

Change-Id: Ic34d8a4672b188c8d3d10141f9227cab4075fd5b

gnu: go-github-com-nats-io-nats-go: Update to 1.32.0.

* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nats-go): Update to 1.32.0.

Change-Id: I094dffb0757672067d29b102d12a268264758ea5

gnu: go-github-com-nats-io-nkeys: Update to 0.4.7.

* gnu/packages/golang-crypto.scm (go-github-com-nats-io-nkeys): Update to 0.4.7.

Change-Id: I75ab528c844ab5d046f297bdf9009d30c86eb90a

gnu: Add nats-server.

* gnu/packages/messaging.scm (nats-server): New variable.

Change-Id: Idb05684fae798b37d396279f136f11fce85e2e02
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: Add go-github-com-nats-io-nats-go.

* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nats-go): New variable.

Change-Id: Ic2897e20fdcd8d68505f8a96281071fe3de224c9
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: Add go-github-com-nats-io-jwt-v2.

* gnu/packages/golang-crypto.scm (go-github-com-nats-io-jwt-v2): New variable.

Change-Id: I5253db9ceb1aa118cfc15e89823903f3f5b2b75c
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: Add go-github-com-nats-io-nkeys.

* gnu/packages/golang-crypto.scm (go-github-com-nats-io-nkeys): New variable.

Change-Id: Id82a9afd15f110426fd7a16b286b5af5cae45c6a
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: Add go-github-com-nats-io-nuid.

* gnu/packages/golang-xyz.scm (go-github-com-nats-io-nuid): New variable.

Change-Id: I71ef84703b6971cabacafcba09d1447544fb48bf
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: Add go-go-uber-org-automaxprocs.

* gnu/packages/golang-xyz.scm (go-go-uber-org-automaxprocs): New variable.

Change-Id: I06abcaf3f3b74e23e5808d4ff37a93a0dc45b137
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: Add go-github-com-prashantv-gostub.

* gnu/packages/golang-check.scm (go-github-com-prashantv-gostub): New variable.

Change-Id: I2ffde6cb83e4c7f6b2e412b38341add952803719
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

gnu: Add go-github-com-minio-highwayhash.

* gnu/packages/golang-crypto.scm (go-github-com-minio-highwayhash): New variable.

Change-Id: Ib6aa8a38946841e840b17848b07434487f0435ef
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>