pukkamustard
c168dc5ad1
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
2024-02-08 23:15:41 +01:00
pukkamustard
e154a7f43a
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
2024-02-08 23:15:37 +01:00
pukkamustard
3f9d44b0bd
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
2024-02-08 23:15:25 +01:00
pukkamustard
9ae0ff50ac
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
2024-02-08 23:15:23 +01:00
pukkamustard
db7c87e070
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
2024-02-08 23:15:20 +01:00
pukkamustard
4b7cc09c8b
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
2024-02-08 23:15:18 +01:00
pukkamustard
95c30e0334
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
2024-02-08 23:15:15 +01:00
pukkamustard
fe0c13b1f9
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
2024-02-08 23:14:54 +01:00
Sharlatan Hellseher
90fe823638
gnu: nats-server: Update to 2.10.10.
...
* gnu/packages/high-availability.scm (nats-server): Update to 2.10.10.
Change-Id: Ic34d8a4672b188c8d3d10141f9227cab4075fd5b
2024-02-08 21:46:23 +00:00
Sharlatan Hellseher
34cff59d8b
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
2024-02-08 21:46:23 +00:00
Sharlatan Hellseher
312cacf29a
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
2024-02-08 21:46:23 +00:00
Benjamin
2d084f23a2
gnu: Add nats-server.
...
* gnu/packages/messaging.scm (nats-server): New variable.
Change-Id: Idb05684fae798b37d396279f136f11fce85e2e02
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-08 21:46:23 +00:00
Benjamin
e3146f55e8
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>
2024-02-08 21:46:22 +00:00
Benjamin
99c5d31e8b
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>
2024-02-08 21:46:22 +00:00
Benjamin
dddc3b20bd
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>
2024-02-08 21:46:22 +00:00
Benjamin
870f604aa6
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>
2024-02-08 21:46:22 +00:00
Benjamin
98f8a2a34e
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>
2024-02-08 21:46:22 +00:00
Benjamin
d6866b6cbe
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>
2024-02-08 21:46:22 +00:00
Benjamin
ff61ca41d9
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>
2024-02-08 21:46:22 +00:00
Liliana Marie Prikler
8798f940ad
Revert update to Renpy 8.2.
...
This reverts commits 9d53c236a6
,
2bfe8e95ef
, and
08ed3ec64e
as a temporary fix to
<https://bugs.gnu.org/68982 >.
2024-02-08 22:05:09 +01:00
Ricardo Wurmus
24e87f64cf
gnu: Add python-geoip2fast.
...
* gnu/packages/geo.scm (python-geoip2fast): New variable.
Change-Id: Ia1ca57ac281c487db65ad3474940e8326082b7a1
2024-02-08 19:20:25 +01:00
Andrew Tropin
a903558577
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
2024-02-08 12:07:53 +03:00
unwox
5d2302a195
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>
2024-02-07 16:31:26 +01:00
Felix Gruber
d7c34bc099
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>
2024-02-07 14:02:55 +01:00
Felix Gruber
8736c6357d
gnu: grass: Update to 7.8.8.
...
* gnu/packages/geo.scm (grass): Update to 7.8.8.
Change-Id: Ife86e2f770e1a3bbc907e9baf25253dbff7e5653
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07 13:54:28 +01:00
Felix Gruber
556a7484f1
gnu: python-pyshp: Update to 2.3.1.
...
* gnu/packages/geo.scm (python-pyshp): Update to 2.3.1.
[arguments]: Disable test that requires network access.
Change-Id: Iba7bd8191c17ecf255375a8443319b449057e094
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07 13:53:23 +01:00
Felix Gruber
4ad6872979
gnu: python-shapely: Update to 2.0.2.
...
* gnu/packages/python-xyz.scm (python-shapely): Update to 2.0.2.
[native-inputs]: Remove python-pytest-cov.
Change-Id: I4358c16d53c97a0cd38e3689d65ead770b2e997c
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07 13:50:53 +01:00
Felix Gruber
0a1d503b28
gnu: geos: Update to 3.12.1.
...
* gnu/packages/geo.scm (geos): Update to 3.12.1.
[arguments]: Update 'patch-test-shebangs.
Change-Id: I4c5a7dd0ce0e95f813474ff4841a844e63451d24
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07 13:44:26 +01:00
Felix Gruber
a042bfcd7e
gnu: libgeotiff: Fix build with proj 9.3.1.
...
* gnu/packages/geo.scm (libgeotiff): [source]: Add patches to fix build
with proj 9.3.1.
* gnu/local.mk: Add patch files.
* gnu/packages/patches/libgeotiff-fix-tests-on-i386.patch: New file.
* gnu/packages/patches/libgeotiff-fix-tests-with-proj-9.3.0.patch: New
file.
* gnu/packages/patches/libgeotiff-fix-tests-with-proj-9.3.1.patch: New
file.
Change-Id: I5f09e793698b0b137888faa0f595ef06850c6160
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07 13:41:57 +01:00
Felix Gruber
e25fa3f6da
gnu: python-pyproj: Update to 3.6.1.
...
* gnu/packages/geo.scm (python-pyproj): Update to 3.6.1.
[arguments]: Convert to gexp.
Change-Id: I0ef2bf3da8d35b728f4ba4009caca33fa18dbad3
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07 13:36:57 +01:00
Felix Gruber
4c1a7678b2
gnu: proj: Update to 9.3.1.
...
* gnu/packages/geo.scm (proj): Update to 9.3.1.
Change-Id: I176efdba12761b81b90c8a53c362e4e66bd08fca
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-02-07 13:30:33 +01:00
Efraim Flashner
10dba10fd6
gnu: Register missing patch.
...
* gnu/local.mk (dist_patch_DATA): Add missing patch.
Change-Id: I82264a8cbea1550522994292e24f702f7cc78700
2024-02-07 10:30:50 +02:00
Sharlatan Hellseher
cce7a6d2d2
gnu: python-ipydatawidgets: Fix build.
...
As seen in <http://ci.guix.gnu.org/build/3396112/log/raw >.
* gnu/packages/jupyter.scm (python-ipydatawidgets) [arguments]
<#:phases>: Disable 3 failing tests in 'check phase.
Change-Id: I8de3678914e871df5bbb50c69c322dc4b55d18ac
2024-02-06 22:48:50 +00:00
Sharlatan Hellseher
5729b2b352
gnu: python-traittypes: Simplify package.
...
* gnu/packages/python-science.scm (python-traittypes) [build-system]:
Swap to pyproject-build-system.
[arguments]: Move excluded tests to <#:test-flags>. Use standard 'check
phase.
Change-Id: I4cab0c94036a7e5f0851edf2833dfac2f675d2a0
2024-02-06 21:11:40 +00:00
Sharlatan Hellseher
5dee582c13
gnu: python-pynrrd: Update to 1.0.0.
...
* gnu/packages/python-science.scm (python-pynrrd): Update to 1.0.0.
[arguments]: Keep 'ensure-no-mtimes-pre-1980 phase as it's building with
it successfully.
[propagated-inputs]: Add python-nptyping and python-typing-extensions.
Change-Id: Ic4dcd0825e71d3eb4acd39694bee9e22e8485f9f
2024-02-06 19:56:05 +00:00
Sharlatan Hellseher
ac18dfc675
gnu: python-pynrrd: Improve description.
...
* gnu/packages/python-science.scm (python-pynrrd) [description]: Add
definition of NRRD.
Change-Id: I0335df0eb4be600d81799da64374ddfb49b06720
2024-02-06 19:49:50 +00:00
Antero Mejr
36f5db706c
gnu: Add python-pynrrd.
...
* gnu/packages/python-science.scm (python-pynrrd): New variable.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-06 19:40:17 +00:00
Andy Tai
7d3aa578ef
gnu gnuatro: Update to 0.22.
...
* gnu/packages/astronomy.scm (gnuastro): Update to 0.22.
Change-Id: Ifa8329765adb2b32b9b04c1531087363a807613d
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-06 19:00:56 +00:00
Mădălin Ionel Patrașcu
b13d6c5715
gnu: Add r-imifa.
...
* gnu/packages/cran.scm (r-imifa): New variable.
Change-Id: I0046faadb9546ae1fa8437db72b784307deba241
2024-02-06 17:41:50 +01:00
Mădălin Ionel Patrașcu
e8292cc60e
gnu: Add r-mvnfast.
...
* gnu/packages/cran.scm (r-mvnfast): New variable.
Change-Id: I17b1d1da941248fde466aa90304481cae9ca60fe
2024-02-06 17:41:44 +01:00
Ricardo Wurmus
948c4c26e1
gnu: Add openmm.
...
* gnu/packages/machine-learning.scm (openmm): New variable.
Change-Id: I2a296471881ffbd9356fcdd27d349aa4a7bb5132
2024-02-06 16:19:42 +01:00
Wilko Meyer
a4464bd097
gnu: linux-libre 6.1: Update to 6.1.76.
...
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.76.
(linux-libre-6.1-pristine-source): Update hash.
Signed-off-by: Leo Famulari <leo@famulari.name>
Change-Id: I6e66bfadeb11a300f47fbec2bffdbc5b02d85e75
2024-02-05 20:53:21 -05:00
Wilko Meyer
1c47327b2e
gnu: linux-libre 6.6: Update to 6.6.15.
...
* gnu/packages/linux.scm (linux-libre-6.6-version): Update to 6.6.15.
(linux-libre-6.6-pristine-source, deblob-scripts-6.6): Update hashes.
Signed-off-by: Leo Famulari <leo@famulari.name>
Change-Id: I9c744e41241d083baf20d2004bb3ee445cd0a0a9
2024-02-05 20:53:21 -05:00
Wilko Meyer
9b40e74e7c
gnu: linux-libre 6.7: Update to 6.7.3.
...
* gnu/packages/linux.scm (linux-libre-6.7-version): Update to 6.7.3.
(linux-libre-6.7-pristine-source, deblob-scripts-6.7): Update hashes.
Signed-off-by: Leo Famulari <leo@famulari.name>
Change-Id: I56b489855db37962ccf9ccccdf09fabf65648e89
2024-02-05 20:53:17 -05:00
Troy Figiel
1eda62a266
gnu: go-github-com-operatorfoundation-ed25519: Add missing input.
...
* gnu/packages/golang-crypto.scm (go-github-com-operatorfoundation-ed25519)
[native-inputs]: Add go-golang-org-x-crypto.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-05 22:34:48 +00:00
Troy Figiel
34fe725fb3
gnu: go-github-com-go-git-go-billy: Add missing input.
...
* gnu/packages/golang.scm (go-github-com-go-git-go-billy)
[propagated-inputs]: Add go-golang-org-x-sys.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Change-Id: Ia1fee47a497dcd1221ec6a8b2b6bbd549662e470
2024-02-05 22:34:47 +00:00
Troy Figiel
c1a4de630c
gnu: go-github-com-cheekybits-genny: Add missing input.
...
* gnu/packages/golang.scm (go-github-com-cheekybits-genny)
[native-inputs]: Add go-github-com-stretchr-testify.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Change-Id: Ib3b9a0aefa8218d26527e4401952ad72d6cc625d
2024-02-05 22:34:47 +00:00
Troy Figiel
f33473e7b2
gnu: misspell: Add missing input.
...
* gnu/packages/golang.scm (misspell) [propagated-inputs]: Add go-github-com-gobwas-glob.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Change-Id: I1c080a8fbb6f0a0294e28e4697438ab31ebca3cc
2024-02-05 22:34:47 +00:00
Troy Figiel
067fa9448f
gnu: go-github-com-jmespath-go-jmespath: Add missing input.
...
* gnu/packages/golang-web.scm (go-github-com-jmespath-go-jmespath)
[native-inputs]: Add go-github-com-stretchr-objx.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Change-Id: I98f2bf971b2edf41c6f36ed118bbe33727f0267b
2024-02-05 22:34:47 +00:00
Troy Figiel
3ce5778adb
gnu: go-github-com-kr-text: Update to 0.2.0.
...
* gnu/packages/golang.scm (go-github-com-kr-text): Update to 0.2.0.
[propagated-inputs]: Add go-github-com-creack-pty.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-05 22:34:47 +00:00