Ricardo Wurmus
e47637b8df
gnu: r-httr2: Update to 1.0.0.
...
* gnu/packages/cran.scm (r-httr2): Update to 1.0.0.
[propagated-inputs]: Add r-lifecycle and r-vctrs.
Change-Id: Ie52627aa382f59b6251953620ac1a38576f92a5d
2023-11-15 15:55:20 +01:00
Ricardo Wurmus
a3341b68d4
gnu: r-ggpp: Update to 0.5.5.
...
* gnu/packages/cran.scm (r-ggpp): Update to 0.5.5.
Change-Id: Ifaff1e48d8fd7f166d8ae9f70bdd0cfc099de3ca
2023-11-15 15:55:20 +01:00
Ricardo Wurmus
3b34ecaef9
gnu: r-waldo: Update to 0.5.2.
...
* gnu/packages/cran.scm (r-waldo): Update to 0.5.2.
Change-Id: I1273af36bcd2b9223acb071db3703d2fa3827e61
2023-11-15 15:55:20 +01:00
Ricardo Wurmus
d64662b6f9
gnu: r-collapse: Update to 2.0.6.
...
* gnu/packages/cran.scm (r-collapse): Update to 2.0.6.
Change-Id: Id3522ad2adc4d50d1ce4eeb3406c1bdb7177bbfd
2023-11-15 15:55:20 +01:00
Ricardo Wurmus
34a5f9adb9
gnu: r-afpt: Update to 1.1.0.4.
...
* gnu/packages/cran.scm (r-afpt): Update to 1.1.0.4.
Change-Id: Ia4922ee208924a77cc2725a0d00e7d8a82f77c26
2023-11-15 15:55:20 +01:00
Ricardo Wurmus
9b270ccefa
gnu: r-abn: Update to 3.0.3.
...
* gnu/packages/bioconductor.scm (r-abn): Update to 3.0.3.
Change-Id: Id94ec47d805af9da63dbf43a9edbd5e7c3a5a62a
2023-11-15 15:55:20 +01:00
Ricardo Wurmus
fefc250c60
gnu: r-activepathways: Update to 2.0.3.
...
* gnu/packages/bioconductor.scm (r-activepathways): Update to 2.0.3.
Change-Id: I4199c307d48583c0894a39af78f6a4027cb0cf54
2023-11-15 15:55:20 +01:00
Ricardo Wurmus
285dd08443
gnu: r-ggpicrust2: Update to 1.7.3.
...
* gnu/packages/bioconductor.scm (r-ggpicrust2): Update to 1.7.3.
Change-Id: I18ab123d640ceec9315a21dff48ed2f1ea4ddff5
2023-11-15 15:55:20 +01:00
Andre A. Gomes
8eed542ddd
gnu: nyxt: Update to 3.9.2.
...
* gnu/packages/web-browsers.scm (nyxt): Update to 3.9.2.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2023-11-15 15:17:04 +01:00
Andre A. Gomes
0d55b7b06e
gnu: cl-slime-swank: Update to 2.28-1.735258a.
...
* gnu/packages/lisp-xyz.scm (sbcl-slime-swank): Update to 2.28-1.735258a.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
Change-Id: I109d71f8184ec1b1a3f8ad30b11e57f4280ae916
2023-11-15 15:17:04 +01:00
Andre A. Gomes
e6a9b48877
gnu: emacs-slime: Update to 2.28-1.735258a.
...
* gnu/packages/emacs-xyz.scm (emacs-slime): Update to 2.28-1.735258a.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2023-11-15 15:17:04 +01:00
Nicolas Goaziou
7dd3a3240b
gnu: emacs-flycheck-grammalecte: Add missing propagated input.
...
* gnu/packages/emacs-xyz.scm (emacs-flycheck-grammalecte)[propagated-inputs]:
Add EMACS-PKG-INFO.
Change-Id: Ic54be88146277a6838eb9b55eeab8c190d2a0c01
2023-11-15 14:18:16 +01:00
Ludovic Courtès
f87c955725
gnu: spindle: Update to 0.13; remove input labels.
...
* gnu/packages/admin.scm (spindle): Update to 0.13.
[inputs]: Remove labels.
Change-Id: I2ccaaf2385797d81de2b1ffe28452281b4e5ae90
2023-11-15 11:36:21 +01:00
Ludovic Courtès
006f9f0f21
gnu: spindle: Fix compilation with GCC 11.
...
* gnu/packages/admin.scm (spindle)[arguments]: Add CXXFLAGS
to #:configure-flags.
Change-Id: I660228b8839a524791273f3fc7b6935d704b6715
2023-11-15 11:36:21 +01:00
Ludovic Courtès
aaee0e4af3
gnu: launchmon: Fix compilation with GCC 11.
...
* gnu/packages/admin.scm (launchmon)[arguments]: New field.
Change-Id: I30665896ef90e74b91055c85bcfe991af24f3a38
2023-11-15 11:36:20 +01:00
Ludovic Courtès
f8cad88615
gnu: intel-mpi-benchmarks: Update to 2021.3.
...
* gnu/packages/benchmark.scm (intel-mpi-benchmarks/openmpi): Update to
2021.3.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
ad2fcbfca4
gnu: openmpi: Update to 4.1.6.
...
* gnu/packages/mpi.scm (openmpi): Update to 4.1.6.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
59d29ebbb2
gnu: psm2: Update to 12.0.
...
* gnu/packages/linux.scm (psm2): Update to 12.0.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
8c1c045a87
gnu: libfabric: Update to 1.19.0.
...
* gnu/packages/linux.scm (libfabric): Update to 1.19.0.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
3f7eeaa57c
gnu: rdma-core: Update to 48.0.
...
* gnu/packages/linux.scm (rdma-core): Update to 48.0.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
975350fab7
gnu: ucx: Update to 1.15.0.
...
* gnu/packages/fabric-management.scm (ucx): Update to 1.15.0.
* gnu/packages/patches/ucx-tcp-iface-ioctl.patch: Update for 1.15.0.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
d117c6b422
gnu: opensm: Update to 3.3.24.
...
* gnu/packages/fabric-management.scm (opensm): Update to 3.3.24.
2023-11-15 11:36:20 +01:00
Ludovic Courtès
f1f8d56b75
gnu: hwloc: Update to 2.9.3.
...
* gnu/packages/mpi.scm (hwloc-2): Update to 2.9.3.
2023-11-15 11:36:19 +01:00
Ludovic Courtès
96753702a0
gnu: slurm: Add 23.02.6.
...
* gnu/packages/parallel.scm (slurm): Update to 23.02.6.
(slurm-22.05): New variable.
2023-11-15 11:36:19 +01:00
Ludovic Courtès
d67fa732f7
gnu: opensm: Use gexps.
...
* gnu/packages/fabric-management.scm (opensm)[arguments]: Use gexps.
2023-11-15 11:36:19 +01:00
Ludovic Courtès
ab6f63f3cb
gnu: opensm: Use the right version string for the doc directory.
...
Previously, when built with ‘--with-latest=opensm’, the package would
install its documentation under a directory with the wrong version
string.
* gnu/packages/fabric-management.scm (opensm)[arguments]: Use the name
and version of THIS-PACKAGE.
2023-11-15 11:36:19 +01:00
Ricardo Wurmus
b712e563cf
gnu: soci: Add PIE flag.
...
* gnu/packages/databases.scm (soci)[arguments]: Set CMAKE_CXX_FLAGS to add
-fPIE.
Change-Id: I79527759d0d35833168f5106a9d6f372375a8ebe
2023-11-14 23:46:08 +01:00
Josselin Poiret
bd0f217321
gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
...
* gnu/packages/agda.scm (agda-1lab): Update to
549fdb1c948a975e90e70f871993a4a4239aa280.
Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e
2023-11-14 13:47:53 +01:00
Josselin Poiret
c5c2a82082
gnu: agda-cubical: Update to 0.6.
...
* gnu/packages/agda.scm (agda-cubical): Update to 0.6.
Change-Id: I1d6edc44755260e505985fb974c632ec6fff2b49
2023-11-14 13:47:53 +01:00
Josselin Poiret
5f4b3ccf50
gnu: agda-categories: Adapt to agda-stdlib 1.7.3.
...
* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch.
* gnu/packages/agda.scm (agda-categories)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c
2023-11-14 13:47:10 +01:00
Josselin Poiret
7374e14f51
gnu: agda-stdlib: Update to 1.7.3.
...
* gnu/packages/agda.scm (agda-stdlib): Update to 1.7.3.
Change-Id: Ic941073814a6a2150d470fc05218dc8d19954445
2023-11-14 13:30:49 +01:00
Josselin Poiret
a521757306
gnu: agda: Update to 2.6.4.
...
* gnu/packages/agda.scm (agda): Update to 2.6.4. Also build with
optimizations and cluster counting support.
* gnu/packages/patches/agda-use-sphinx-5.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I98a66678ec401b9201d9fd3a0f606fff9767b4bc
2023-11-14 13:30:48 +01:00
Josselin Poiret
5cb2574243
gnu: Add ghc-text-icu.
...
* gnu/packages/haskell-xyz.scm (ghc-text-icu): New variable.
Change-Id: I553f1fef4e76aeea6d09901917fd5d6032c23d46
2023-11-14 13:30:45 +01:00
Nicolas Goaziou
b25954181c
gnu: emacs-denote: Update to 2.1.0.
...
* gnu/packages/emacs-xyz.scm (emacs-denote): Update to 2.1.0.
Change-Id: I4d0f585604ef049480842b4c052edd1aef300e15
2023-11-14 13:21:41 +01:00
Nicolas Goaziou
cb399d96fb
gnu: emacs-org: Update to 9.6.12.
...
* gnu/packages/emacs-xyz.scm (emacs-org): Update to 9.6.12.
Change-Id: I0d2b063526f24b7104fcbab972f212e279060f27
2023-11-14 13:21:41 +01:00
Nicolas Goaziou
3254429a41
gnu: emacs-package-lint: Update to 0.21.
...
* gnu/packages/emacs-xyz.scm (emacs-package-lint): Update to 0.21.
Change-Id: I82e28b8e1c211389e99f1947c5c7ddfcba893612
2023-11-14 13:21:41 +01:00
Nicolas Goaziou
21822095e8
gnu: emacs-compat: Update to 29.1.4.4.
...
* gnu/packages/emacs-xyz.scm (emacs-compat): Update to 29.1.4.4.
Change-Id: I11705cb0c2b50bb445711bfdfdb142557aa58b04
2023-11-14 13:21:40 +01:00
Nicolas Goaziou
b5d419b4ab
gnu: emacs-flycheck-grammalecte: Improve package style.
...
* gnu/packages/emacs-xyz.scm (emacs-flycheck-grammalecte)[arguments]Use
G-expressions.
<#:exclude>: Remove non-existing excluded file.
<#:emacs>: Use EMACS-NO-X.
<#:phases>: Use G-expressions.
Change-Id: Ic5a3c5e3f5271e75cd369cdd40ce210d7c2b859b
2023-11-14 13:21:40 +01:00
Nicolas Goaziou
a572e55ea5
gnu: emacs-flycheck-grammalecte: Update to 2.4.
...
* gnu/packages/emacs-xyz.scm (emacs-flycheck-grammalecte): Update to 2.4.
Change-Id: I372e3e55534606dba6fed2c2d2f00dc27dc76c0e
2023-11-14 13:21:40 +01:00
Efraim Flashner
3d15e9e5bc
gnu: insight-toolkit-4.12: Fix building.
...
* gnu/packages/image-processing.scm (insight-toolkit-4.12)[arguments]:
Add a configure-flag to build with c++14.
Change-Id: I5e7a0a3ed47e4e3f25611147f8e66c58a1bf8a8c
2023-11-14 08:57:48 +02:00
Efraim Flashner
f9f36b08e5
gnu: ffmpeg-2.8: Update to 2.8.22.
...
* gnu/packages/video.scm (ffmpeg-2.8): Update to 2.8.22.
Change-Id: I4ab83a07f60692aa43d04a81dd227b56a95a1d74
2023-11-14 08:16:52 +02:00
Efraim Flashner
b3f110184f
gnu: ffmpeg-3.4: Update to 3.4.13.
...
* gnu/packages/video.scm (ffmpeg-3.4): Update to 3.4.13.
Change-Id: I9ef7b61dcdeab96d4021150fb57b3739a61376d0
2023-11-14 08:16:51 +02:00
Efraim Flashner
b8dac014b1
gnu: ffmpeg-5: Update to 5.1.4.
...
* gnu/packages/video.scm (ffmpeg-5): Update to 5.1.4.
Change-Id: I4ea8faa3bcee2e34287af4461d078850de17154f
2023-11-14 08:16:45 +02:00
Wilko Meyer
b817d261e2
gnu: Add linux-libre 6.6.1.
...
* gnu/packages/linux.scm (linux-libre-6.6-version, linux-libre-6.6-gnu-revision,
deblob-scripts-6.6, linux-libre-6.6-pristine-source, linux-libre-6.5-source,
linux-libre-headers-6.6, linux-libre-6.6): New variables.
* gnu/packages/aux-files/linux-libre/6.6-arm.conf,
gnu/packages/aux-files/linux-libre/6.6-arm64.conf,
gnu/packages/aux-files/linux-libre/6.6-i686.conf,
gnu/packages/aux-files/linux-libre/6.6-x86_64.conf: New files.
* Makefile.am (AUX_FILES): Add them.
Change-Id: I37b2b98b8a2ec745137e92380f34e69082c5e662
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:01 -04:00
Wilko Meyer
8074235a7e
gnu: linux-libre 4.14: Update to 4.14.329.
...
* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.329.
(linux-libre-4.14-pristine-source): Update hash.
Change-Id: I50e419def94b2cbe14f52e5901d0babb0377fcd0
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:01 -04:00
Wilko Meyer
3eef9ab1d5
gnu: linux-libre 4.19: Update to 4.19.298.
...
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.298.
(linux-libre-4.19-pristine-source, deblob-scripts-4.19): Update hashes.
Change-Id: Ib1fc2b05a24254e91c6a2e1d85f4c3aeb01e6071
Signed-off-by: Leo Famulari <leo@famulari.name>
Change-Id: I01b89291e6e3795e16e051ce32c08febcff13cb0
2023-07-23 22:26:01 -04:00
Wilko Meyer
331fbb60f0
gnu: linux-libre 5.4: Update to 5.4.260.
...
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.260.
(linux-libre-5.4-pristine-source): Update hash.
Change-Id: I035dc10cd8ee1da0df6518c9cb59080ea90ab5ba
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:01 -04:00
Wilko Meyer
465fca164c
gnu: linux-libre 5.10: Update to 5.10.200.
...
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.200.
(linux-libre-5.10-pristine-source): Update hash.
Change-Id: I7247a07bc79170bf1015d1249eda3462bd7f14aa
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:01 -04:00
Wilko Meyer
47991549da
gnu: linux-libre 5.15: Update to 5.15.138.
...
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.138.
(linux-libre-5.15-pristine-source): Update hash.
Change-Id: I9687b895031f52828e250f97ba79ddd4a230f989
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:00 -04:00
Wilko Meyer
cddce696f7
gnu: linux-libre 6.1: Update to 6.1.62.
...
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.62.
(linux-libre-6.1-pristine-source): Update hash.
Change-Id: I6ba03b5b83058dcc7df5047252ceb35e9be723f4
Signed-off-by: Leo Famulari <leo@famulari.name>
2023-07-23 22:26:00 -04:00