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>
gnu: Add python-geoip2fast.
* gnu/packages/geo.scm (python-geoip2fast): New variable.
Change-Id: Ia1ca57ac281c487db65ad3474940e8326082b7a1
gnu: elixir: Remove wrap for mix.
* gnu/packages/elixir.scm (elixir)[#:phases]: Instead of wrapping mix into
shell script, which sets environment variables, we patch mix itself and set
environmnet variables via elixir code.
Change-Id: Ia4643e18fe927491242a0541938b7570bd56fca1
Co-authored-by: Ivan Sokolov <ivan-p-sokolov@ya.ru>
Change-Id: I29d2c61299a8a54125f0e15190c526a860d501da
gnu: janet: Update to 1.33.0
* gnu/packages/lisp.scm (janet): Update to 1.33.0.
Change-Id: Ic5dd8b0c7042fe965c940d291331803f7f28e3f2
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
gnu: qgis: Fix build against proj 9.3.1.
* gnu/packages/geo.scm (qgis)[arguments]: Disable newly broken tests
test_core_overlayexpression and PyQgsProjectionSelectionWidgets.
Change-Id: If80c1d86b00f4d9481ada17b99962754b5efdc92
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>