Ricardo Wurmus
bb4f0509b7
gnu: mutter: Disable one test when building for i686-linux.
...
This test no longer fails in future versions, so this is only a temporary
workaround.
* gnu/packages/gnome.scm (mutter)[arguments]: Conditionally disable the
activation test on i686-linux.
Change-Id: Ic8552355971b9926b7f72c228edf881a1c0cea1e
2024-02-12 22:04:22 +01:00
Denis 'GNUtoo' Carikli
bb92a4d7bc
gnu: debootstrap: use trisquel-keyring.
...
* gnu/packages/debian.scm (debootstrap): [arguments]: In 'patch-source'
phase, use trisquel-keyring.
[inputs]: Add trisquel-keyring, zstd.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Change-Id: I43d5543db4374b373dac65f65cfcef6a3df3b5bf
2024-02-12 14:41:46 +02:00
Denis 'GNUtoo' Carikli
15a9652e74
gnu: Add trisquel-keyring.
...
* gnu/packages/debian.scm (trisquel-keyring): New variable.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2024-02-12 14:41:46 +02:00
Efraim Flashner
3876c3a7c2
gnu: rrdtool: Remove unneeded input.
...
* gnu/packages/rrdtool.scm (rrdtool)[inputs]: Remove gtk+-2.
Change-Id: Iee01e038f1361e763ea0df62625fb06b65ce45d5
2024-02-12 14:41:46 +02:00
Ludovic Courtès
e0ade40c2b
services: virtual-build-machine: Use a larger partition by default.
...
So far the partition had too little free space.
* gnu/services/virtualization.scm (%default-virtual-build-machine-image-size):
New variable.
(virtual-build-machine-default-image): Define ‘partitions’ field.
Change-Id: Iffe0f316eecad8754d29f8c811cdc4836a818a3f
2024-02-12 12:03:52 +01:00
Ludovic Courtès
15fd5d6c3f
services: virtual-build-machine: Add base file systems to default OS.
...
This provides /dev/pts and other things that are important for
builds (for example, Python 2.x has ‘openpty’ unit tests that can only
succeed when /dev/pts is available.)
* gnu/services/virtualization.scm (%virtual-build-machine-operating-system)
[file-systems]: Add %BASE-FILE-SYSTEMS.
Change-Id: I7d12a4cb491e957bf55e6c5f9dd09c013473ca42
2024-02-12 12:03:52 +01:00
Remco van 't Veer
faeae5114c
gnu: ruby-3.2: Update to 3.2.3.
...
Fixes CVE-2023-36617 (ReDoS vulnerability in URI).
* gnu/packages/ruby.scm (ruby-3.2): Update to 3.2.3.
Signed-off-by: Andreas Enge <andreas@enge.fr>
Change-Id: I20d92f4b6e566466e5af087712e91d0ecc1735da
2024-02-12 11:49:11 +01:00
Allan Adair
bd9da70212
gnu: vpn-slice: Include required inputs "iproute" and "iptables".
...
vpn-slice expects commands "ip" and "iptables" to be found according to FHS
paths.
* gnu/packages/vpn.scm (vpn-slice)[arguments]: Include inputs "iproute" and
"iptables" and patch "vpn_slice/linux.py" to use correct locations in the
store.
Change-Id: Ia06e2bb99f060108cc0758e89174294bcbb2848d
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2024-02-12 09:08:11 +01:00
Artyom V. Poptsov
c4372f7ebf
gnu: guile-png: Update to 0.7.2.
...
* gnu/packages/guile-xyz.scm (guile-png): Update to 0.7.2.
Change-Id: Ic84b1472bdfdf47db26e0954b6135054290e49b0
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-11 21:12:52 +00:00
Sharlatan Hellseher
ab3da80ae1
gnu: abjad-ext-rmakers: Simplify package.
...
* gnu/packages/music.scm (abjad-ext-rmakers) [build-system]: Swap to
pyproject-build-system.
[arguments]: Use standard 'check phase.
Change-Id: Ic2591fbe35d7479e120048d334cc202a5e1c9243
2024-02-11 21:03:07 +00:00
Sharlatan Hellseher
d0671703b6
gnu: abjad-ext-rmakers: Fix build.
...
* gnu/packages/music.scm (abjad-ext-rmakers) [native-inputs]: Add
python-sphinx-autodoc-typehints.
Change-Id: Ide0e00b3c12180d341f1ed8052fb4e10a6504499
2024-02-11 21:03:07 +00:00
Sharlatan Hellseher
70a43b328f
gnu: abjad-ext-nauert: Simplify package.
...
* gnu/packages/music.scm (abjad-ext-nauert) [build-system]: Swap to
pyproject-build-system.
[arguments]: Use standard 'check phase.
Change-Id: Ica32dd692964d200a81628e82a8333656dc10170
2024-02-11 21:03:06 +00:00
Sharlatan Hellseher
850bf6d65f
gnu: abjad-ext-nauert: Fix build.
...
* gnu/packages/music.scm (abjad-ext-nauert) [native-inputs]: Add
python-sphinx-autodoc-typehints.
Change-Id: Iec9dcbf1127ef7dc7b3bcd5a4be9eada51424f4a
2024-02-11 21:03:06 +00:00
Sharlatan Hellseher
592a6e1ceb
gnu: python-pytest-socket: Simplify package, enable tests.
...
* gnu/packages/python-check.scm (python-pytest-socket) [build-system]:
Swap to pyproject-build-system.
[arguments] <#:test-flags>: Disable tests requiring network
access. <#:phases>: Use standard phases.
Change-Id: Ib7fe0b3dab4e269c00856a10b8ca23acc8c8e180
2024-02-11 21:03:06 +00:00
Sharlatan Hellseher
5ccae1ae44
gnu: python-pyinstrument: Enable tests.
...
* gnu/packages/python-check.scm (python-pyinstrument) [build-system]:
Swap to pyproject-build-system.
[native-inputs]: Add python-greenlet.
Change-Id: I1cd0c3e906fbbdc561e66bae9fe35333f61801cf
2024-02-11 21:03:06 +00:00
Sharlatan Hellseher
bcd9a40c49
gnu: python-pyinstrument: Update to 4.6.2.
...
* gnu/packages/python-check.scm (python-pyinstrument): Update to 4.6.2.
Change-Id: I28e147272f273c04f7221f6d4f70677aee9a3747
2024-02-11 21:03:06 +00:00
Sharlatan Hellseher
120e2a64da
gnu: python-pytest-csv: Simplify package.
...
* gnu/packages/python-check.scm (python-pytest-csv) [build-system]: Swap
to pyproejct-build-system.
[arguments]: Use standard 'check phase.
Change-Id: Iae04747b117bf5b5f9fb3c8b57cd40b8822edd77
2024-02-11 21:03:06 +00:00
Sharlatan Hellseher
a3f02bc780
gnu: python-beartype: Simplify package.
...
* gnu/packages/python-check.scm (python-beartype) [build-system]: Swap
to pyproject-build-system.
[arguments]: Use standard 'check phase and <#:test-flags>.
Change-Id: I372c5be3b142f0e25d15fd2bac20fc9cd4d8030c
2024-02-11 21:03:06 +00:00
Troy Figiel
579a1a8c02
gnu: Add python-pandas-vet.
...
* gnu/packages/python-xyz.scm (python-pandas-vet): New variable.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-11 21:03:06 +00:00
Ricardo Wurmus
4bab3a2602
gnu: google-highway: Fix tests on i686-linux.
...
The tests are supposed to be skipped when there are problems with excess
precision.
* gnu/packages/cpp.scm (google-highway)[arguments]: Modify phases when
building for i686-linux to conditionally patch the tests.
Change-Id: I6381a8c9f65196fd1d7d4e4130d784863b634df5
2024-02-11 21:44:38 +01:00
Sören Tempel
16d2be6414
gnu: Add binsec.
...
* gnu/packages/ocaml.scm (binsec): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Ifc57720f97f9ffa8c3558e3cd2d741cdbf73ee3a
2024-02-11 17:30:33 +01:00
Sören Tempel
4221b50acb
gnu: Add ocaml-grain-dypgen.
...
* gnu/packages/ocaml.scm (ocaml-grain-dypgen): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I9804cb17863c112d57f0f93b414e568707dae88d
2024-02-11 17:30:22 +01:00
Sören Tempel
ad2c1833a0
gnu: Add ocaml-toml.
...
* gnu/packages/ocaml.scm (ocaml-toml): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: Ia3ec7d0261cd6950f1a73641fc65b3ef7ce98f24
2024-02-11 17:28:59 +01:00
Sören Tempel
8b67932851
gnu: Add ocaml-iso8601
...
* gnu/packages/ocaml.scm (ocaml-iso8601): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Change-Id: I9463d6f6e3f8ffe43a0cfb1c95edea42fc770323
2024-02-11 17:26:37 +01:00
Ricardo Wurmus
a8930124d5
gnu: r-bionero: Update to 1.10.1.
...
* gnu/packages/bioconductor.scm (r-bionero): Update to 1.10.1.
Change-Id: I26b6c35d8966744bbcb79d98328c9734360f04f3
2024-02-11 16:55:14 +01:00
Ricardo Wurmus
b61f052752
gnu: r-biocset: Update to 1.16.1.
...
* gnu/packages/bioconductor.scm (r-biocset): Update to 1.16.1.
Change-Id: Ib758189b9439ec822edb2e85d261b4ccd8618609
2024-02-11 16:55:14 +01:00
Ricardo Wurmus
c23224da61
gnu: r-bgx: Update to 1.68.3.
...
* gnu/packages/bioconductor.scm (r-bgx): Update to 1.68.3.
Change-Id: I8aa747dd0a725f84dca1441693ce573a4567f70c
2024-02-11 16:55:14 +01:00
Ricardo Wurmus
823def76d4
gnu: r-gofuncr: Update to 1.22.2.
...
* gnu/packages/bioconductor.scm (r-gofuncr): Update to 1.22.2.
Change-Id: Iba4be0c63d792caddcea69ee77aa94ce6869c1d2
2024-02-11 16:55:14 +01:00
Ricardo Wurmus
666393ec34
gnu: r-glmgampoi: Update to 1.14.2.
...
* gnu/packages/bioconductor.scm (r-glmgampoi): Update to 1.14.2.
Change-Id: Id7265b49246e75d23086dc159da9b4f69a756a7d
2024-02-11 16:55:14 +01:00
Ricardo Wurmus
579683f16f
gnu: r-trajectoryutils: Update to 1.10.1.
...
* gnu/packages/bioconductor.scm (r-trajectoryutils): Update to 1.10.1.
Change-Id: I18a94851cd139951c2987054c22f01809d2479b3
2024-02-11 16:55:14 +01:00
Ricardo Wurmus
95785f4587
gnu: r-rcas: Update to 1.28.3.
...
* gnu/packages/bioconductor.scm (r-rcas): Update to 1.28.3.
[propagated-inputs]: Remove r-ggseqlogo and pandoc; add r-seqlogo.
Change-Id: I8be7d8fc4278c8ec2db6932935f70292a4f47049
2024-02-11 16:55:14 +01:00
Ricardo Wurmus
d24ba5f374
gnu: r-genomeinfodb: Update to 1.38.6.
...
* gnu/packages/bioconductor.scm (r-genomeinfodb): Update to 1.38.6.
Change-Id: I57a53d4a73e9b4ce36d97092dab0789d6509484f
2024-02-11 16:55:13 +01:00
Ricardo Wurmus
87110a22a9
gnu: r-dittoseq: Update to 1.14.2.
...
* gnu/packages/bioconductor.scm (r-dittoseq): Update to 1.14.2.
Change-Id: I8930f72b47ff92b3b798d9a45fc0598bec1ba53e
2024-02-11 16:55:13 +01:00
Ricardo Wurmus
64eb32a2d0
gnu: r-bsgenome: Update to 1.70.2.
...
* gnu/packages/bioconductor.scm (r-bsgenome): Update to 1.70.2.
Change-Id: I45ba28279e0b843bcd635c2e30fb696e85195ce7
2024-02-11 16:55:13 +01:00
Ricardo Wurmus
6393305afa
gnu: r-animalcules: Update to 1.18.3.
...
* gnu/packages/bioconductor.scm (r-animalcules): Update to 1.18.3.
Change-Id: I4f8d5897af796afbce269748c6a5676db72e4baf
2024-02-11 16:55:13 +01:00
Ricardo Wurmus
39e92f8b66
gnu: r-curatedtcgadata: Update to 1.24.1.
...
* gnu/packages/bioconductor.scm (r-curatedtcgadata): Update to 1.24.1.
Change-Id: I42ae64544b53d6ddd72b948af4093ef4dd31a9c6
2024-02-11 16:55:13 +01:00
Ricardo Wurmus
2ac299e958
gnu: r-rhdf5lib: Update to 1.24.2.
...
* gnu/packages/bioconductor.scm (r-rhdf5lib): Update to 1.24.2.
[propagated-inputs]: Remove r-biocstyle and r-stringr.
[native-inputs]: Remove r-rmarkdown.
Change-Id: I76b1601397bc69651c0b788404c6b0c67d830830
2024-02-11 16:55:13 +01:00
Andy Tai
240bbfee8d
gnu: parallel: Update to 20240122.
...
* gnu/packages/parallel.scm (parallel): Update to 20240122.
Change-Id: I4e416cbad5b6f4267a9aab7996c9156a861e3ad1
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2024-02-11 12:20:53 +02:00
(unmatched-parenthesis
8f258b7c7a
gnu: parinfer-rust: Add phase to install editor plugins.
...
* gnu/packages/text-editors.scm (rust-parinfer)[arguments]: Install the
bundled Vim and Kakoune plugins.
Change-Id: I881315481ec08c59576c4530ae72b877c399fc66
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2024-02-11 12:14:09 +02:00
David Pflug
b6439fc5f8
gnu: Add python-gguf.
...
* gnu/packages/machine-learning.scm (python-gguf): New variable.
Change-Id: Icf6138486cccc5b4c3141424baccf17c4edb3449
Signed-off-by: Andreas Enge <andreas@enge.fr>
2024-02-11 09:20:16 +01:00
Ludovic Courtès
9edbb2d7a4
services: Add ‘virtual-build-machine’ service.
...
* gnu/services/virtualization.scm (<virtual-build-machine>): New record type.
(%build-vm-ssh-port, %build-vm-secrets-port, %x86-64-intel-cpu-models):
New variables.
(qemu-cpu-model-for-date, virtual-build-machine-ssh-port)
(virtual-build-machine-secrets-port): New procedures.
(%minimal-vm-syslog-config, %virtual-build-machine-operating-system):
New variables.
(virtual-build-machine-default-image):
(virtual-build-machine-account-name)
(virtual-build-machine-accounts)
(build-vm-shepherd-services)
(initialize-build-vm-substitutes)
(build-vm-activation)
(virtual-build-machine-offloading-ssh-key)
(virtual-build-machine-activation)
(virtual-build-machine-secret-root)
(check-vm-availability)
(build-vm-guix-extension): New procedures.
(initialize-hurd-vm-substitutes): Remove.
(hurd-vm-activation): Rewrite in terms of ‘build-vm-activation’.
* gnu/system/vm.scm (linux-image-startup-command): New procedure.
(operating-system-for-image): Export.
* gnu/tests/virtualization.scm (run-command-over-ssh): New procedure,
extracted from…
(run-childhurd-test): … here.
[test]: Adjust accordingly.
(%build-vm-os): New variable.
(run-build-vm-test): New procedure.
(%test-build-vm): New variable.
* doc/guix.texi (Virtualization Services)[Virtual Build Machines]: New
section.
(Build Environment Setup): Add cross-reference.
Change-Id: I0a47652a583062314020325aedb654f11cb2499c
2024-02-10 23:21:07 +01:00
Ludovic Courtès
5f34796dc4
marionette: Add #:peek? to ‘wait-for-tcp-port?’.
...
* gnu/build/marionette.scm (wait-for-tcp-port): Add #:peek? parameter
and honor it.
Change-Id: Ie7515a5223299390ab8af6fe5aa3cf63ba5c8078
2024-02-10 22:59:56 +01:00
Ludovic Courtès
b0a5c0742f
vm: Add ‘cpu-count’ field to <virtual-machine>.
...
* gnu/system/vm.scm (<virtual-machine>)[cpu-count]: New field.
(virtual-machine-compiler): Honor it.
Change-Id: I907a89365f32ac7a9981c4ae5f59cf6eb199c3cc
2024-02-10 22:59:52 +01:00
Ludovic Courtès
7a4f585ae1
vm: Export <virtual-machine> accessors.
...
* gnu/system/vm.scm: Export.
Change-Id: If65d96f4052d070af5baee26f3dd9b233b8480f4
2024-02-10 22:59:49 +01:00
Ludovic Courtès
f7447b1a32
vm: Add ‘date’ field to <virtual-machine>.
...
* gnu/system/vm.scm (<virtual-machine>)[date]: New field.
(virtual-machine-compiler): Honor it.
Change-Id: Idab1c152466d57cbc6784c031a99fdfd37080bcb
2024-02-10 22:59:46 +01:00
Ludovic Courtès
f331a667d3
services: secret-service: Make the endpoint configurable.
...
Until now, the secret service had a hard-coded TCP endpoint on port
1004. This change lets users specify arbitrary socket addresses.
* gnu/build/secret-service.scm (socket-address->string): New procedure,
taken from Shepherd.
(secret-service-send-secrets): Replace ‘port’ by ‘address’ and adjust
accordingly.
(secret-service-receive-secrets): Likewise.
* gnu/services/virtualization.scm (secret-service-shepherd-services):
Likewise.
(secret-service-operating-system): Add optional ‘address’ parameter and
honor it. Adjust ‘start’ method accordingly.
Change-Id: I87a9514f1c170dca756ce76083d7182c6ebf6578
2024-02-10 22:59:43 +01:00
Marco Rimoldi
11d5b505e5
gnu: openmolar-1: Update to release 1.1.6-g81838c8 and partial runtime fix.
...
Fixes <https://issues.guix.gnu.org/29365 >.
WebKit was removed from Qt5 in favor of WebEngine; upstream addressed
this in their last stable release, in 2018. The package still fails at
runtime: this commit lays the ground for further fixes.
* gnu/packages/medical.scm (openmolar-1): Update to release 1.1.6-g81838c8.
[arguments]: Extend 'patch-/usr phase to source file localsettings.py.
[inputs]: Add python-pyqtwebengine.
[propagated-inputs]: Add qtwebengine-5.
Change-Id: Ia4e4c052397201c26834dec2358ca5c20beb581d
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-02-10 22:54:05 +01:00
TimotheeMathieu
9474e64b09
gnu: Add python-scikit-opt.
...
* gnu/packages/python-science.scm (python-scikit-opt): New variable.
Change-Id: I47d6b35d9658a37a242b4db61d293fa7efd33802
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-02-10 22:51:59 +01:00
Mathieu Othacehe
b64862e5cb
gnu: gnupg: Fix cross-compilation.
...
* gnu/packages/gnupg.scm (gnupg)[arguments]: Pass libraries prefixes when
cross-crompiling.
Change-Id: I461ba02ddf5bb23277bd6685c2106e4ad37e2184
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2024-02-10 21:00:03 +01:00
Nguyễn Gia Phong
e94e8eaedd
gnu: vim: Update to 9.1.0059.
...
* gnu/packages/vim.scm (vim): Update to 9.1.0059.
Change-Id: Idf89d04a6c4e2297bcaad7a8b275de4a124001a9
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2024-02-10 18:48:39 +02:00
Sharlatan Hellseher
e257de4365
gnu: emulators: Adjust copyright header.
...
This is follow up commit 9ffdcb2492
.
* gnu/packages/emulators.scm: Update copyright for "Felix Gruber
<felgru@posteo.net>".
* gnu/packages/simulation.scm: Remove "Copyright © 2024 Felix Gruber
<felgru@posteo.net>".
Change-Id: I3f39abb0fbe05e7c6af9715fb6cc41c20b6f0a45
2024-02-10 15:58:51 +00:00
Sören Tempel
121bf9b296
gnu: fcft: Enable shaping support.
...
While utf8proc is an optional dependency, it is required for shaping
support. Without utf8proc, fcft_rasterize_text_run_utf32() is a no-op.
This is a popular function used—among other things—by yambar, foot,
fuzzel and fnott. Therefore, many other Linux distributions (Arch,
Debian, Fedora, …) enable this feature and I think it would be nice
to have in Guix as well.
* gnu/packages/fontutils.scm (fcft): Depend on utf8proc.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Change-Id: I7489dbc7a42ffcca509d090df7d2a6250bf996ff
2024-02-10 15:06:50 +00:00
Greg Hogan
354de73fa4
gnu: lldb: Update to 17.0.6.
...
* gnu/packages/llvm.scm (lldb): Update to 17.0.6.
[inputs]: Change from LLVM-15 and CLANG-15 to LLVM-17 and CLANG-17.
Change-Id: Iad04ee722c81ecb223ea4d57d25ea57ca7df59a0
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-10 15:06:50 +00:00
Sharlatan Hellseher
6a59d3ad68
gnu: odamex: Remove package labels.
...
* gnu/packages/games.scm (odamex) [inputs]: Remove labels.
Change-Id: Ie4b97a3dfaa3a0ce3a0e7c5c49ed52fe4e222480
2024-02-10 15:06:50 +00:00
Sharlatan Hellseher
54592df80d
gnu: odamex: Unbundle some libraries.
...
* gnu/packages/games.scm (odamex) [snippet]: Remove some bundled
libraries which may be replaced by inputs.
[arguments] <#:configure-flags>: Add options to build client, master and
server. Do not use internal libs explicitly.
[native-inputs]: Add pkg-config.
Change-Id: I1974febb2f5f37d963ecb5b663d17a330ba23129
2024-02-10 15:06:50 +00:00
David Pflug
6aefab6c0c
gnu: odamex: Update to 10.4.0.
...
* gnu/packages/games.scm (odamex): Update to 10.4.0.
[inputs]: Add fltk, jsoncpp, libpng, miniupnpc, portmidi and protobuf.
Change-Id: I371d18498640e15a7bfae527fea12d9432368f50
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-10 15:05:49 +00:00
Felix Gruber
9ffdcb2492
gnu: sameboy: Update to 0.16.2.
...
* gnu/packages/emulators.scm (sameboy): Update to 0.16.2.
Change-Id: I86a31cfca9e69d63d3cb6a13d5db88a6b1abe2a8
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-10 13:33:55 +00:00
Andy Tai
d9efbd0f48
gnu: ocrad: Update to 0.29
...
* gnu/packages/ocr.scm (ocrad): Update to 0.29
Change-Id: I9069a4b20016ed38961cd2606a841933b3151e1a
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-10 13:31:51 +00:00
Timotej Lazar
069fb3fa7f
gnu: sssd: Update to 2.9.4.
...
* gnu/packages/sssd.scm (sssd): Update to 2.9.4.
Change-Id: Ib5a4e03c4c732d362f8095aeb72509cfd6e7c4a1
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-10 13:29:37 +00:00
Ricardo Wurmus
caa7a95157
gnu: r-desctools: Update to 0.99.54.
...
* gnu/packages/statistics.scm (r-desctools): Update to 0.99.54.
Change-Id: Ic2f1a625021f11f83bacae0454c50e52551e01cf
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
aa7dd6fcca
gnu: r-tclust: Update to 1.5-6.
...
* gnu/packages/statistics.scm (r-tclust): Update to 1.5-6.
Change-Id: Ic456aba29495c670f9a9be8ae9257017730cf1f2
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
3b591901b9
gnu: r-robust: Update to 0.7-4.
...
* gnu/packages/statistics.scm (r-robust): Update to 0.7-4.
Change-Id: I038772a5d83c9a0e40a4aa24a8bd8cabc3ff623a
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
e5de0b6ad1
gnu: r-ggthemes: Update to 5.1.0.
...
* gnu/packages/statistics.scm (r-ggthemes): Update to 5.1.0.
Change-Id: I8eb945aea1aeba6d61d9d03497ba1e3095caa9dd
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
f4d5bc057a
gnu: r-gplots: Update to 3.1.3.1.
...
* gnu/packages/statistics.scm (r-gplots): Update to 3.1.3.1.
Change-Id: Ie8a457837a9f59a98507921c559ff981e876f64a
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
b39fef6d2b
gnu: r-rcpparmadillo: Update to 0.12.8.0.0.
...
* gnu/packages/statistics.scm (r-rcpparmadillo): Update to 0.12.8.0.0.
Change-Id: I42e39e8c8c25d068378f2a8e8743b4b77c61cdc4
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
4e61ed04aa
gnu: r-seqminer: Update to 9.4.
...
* gnu/packages/cran.scm (r-seqminer): Update to 9.4.
Change-Id: I38a72f26363440e79aff6c4262c5d856d7ed96c9
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
e9734b5e0f
gnu: r-spatstat-linnet: Update to 3.1-4.
...
* gnu/packages/cran.scm (r-spatstat-linnet): Update to 3.1-4.
Change-Id: I60eff13181a3f7b65c3904f185f22820b33fec4d
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
e95d7a731f
gnu: r-spatstat-model: Update to 3.2-10.
...
* gnu/packages/cran.scm (r-spatstat-model): Update to 3.2-10.
Change-Id: I38663d7ae11711d91d503892b4443086be812ca3
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
99b21bc91b
gnu: r-hardhat: Update to 1.3.1.
...
* gnu/packages/cran.scm (r-hardhat): Update to 1.3.1.
Change-Id: I2e2ee02f48e6b0531caeabb85e1c34535092c3cb
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
5d0f4fc6e2
gnu: r-distributional: Update to 0.4.0.
...
* gnu/packages/cran.scm (r-distributional): Update to 0.4.0.
[propagated-inputs]: Remove r-digest, r-farver, r-ggplot2, and r-scales.
Change-Id: Ic83e5ba2972dd32b1bbc69aad1e241739ce12480
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
681dc57842
gnu: r-aws: Update to 2.5-5.
...
* gnu/packages/cran.scm (r-aws): Update to 2.5-5.
Change-Id: I39f0394bfed327c04c275e1c42d2d47b2cef27fe
2024-02-10 13:52:35 +01:00
Ricardo Wurmus
c59571a48a
gnu: r-lisreltor: Update to 0.3.
...
* gnu/packages/cran.scm (r-lisreltor): Update to 0.3.
Change-Id: I423e7116d80f236c39a3f30d4f9e3717658433a9
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
32ebcb194f
gnu: r-lim: Update to 1.4.7.1.
...
* gnu/packages/cran.scm (r-lim): Update to 1.4.7.1.
Change-Id: Ibe9c04b0f0e7109f9e01f4902f034175da933fb6
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
b65761c620
gnu: r-idpmisc: Update to 1.1.21.
...
* gnu/packages/cran.scm (r-idpmisc): Update to 1.1.21.
Change-Id: I5acf372d08a8a7829bd3d2f6e17897234bf0856a
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
808741693a
gnu: r-smpracticals: Update to 1.4-3.1.
...
* gnu/packages/cran.scm (r-smpracticals): Update to 1.4-3.1.
Change-Id: I200db8be3842c8716a3e5583a43b975294e5e03e
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
5a9ed60d26
gnu: r-parameters: Update to 0.21.5.
...
* gnu/packages/cran.scm (r-parameters): Update to 0.21.5.
Change-Id: If0de907fd0f0004468f3dcb4f4f5ca438a380c56
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
a2b4ae0a67
gnu: r-plot3d: Update to 1.4.1.
...
* gnu/packages/cran.scm (r-plot3d): Update to 1.4.1.
Change-Id: I5734b726f80b5ac06b217d0bcee90f1584823bfc
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
5fd766bd51
gnu: r-ggnewscale: Update to 0.4.10.
...
* gnu/packages/cran.scm (r-ggnewscale): Update to 0.4.10.
Change-Id: Icb68ac0a8ee0cf780b077869e9c6adbf53a2bb39
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
be930b5c67
gnu: r-ggvis: Update to 0.4.9.
...
* gnu/packages/cran.scm (r-ggvis): Update to 0.4.9.
Change-Id: Iacdffbfb6ca558a3e1979bf63e76c04909924310
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
e407385d84
gnu: r-haplo-stats: Update to 1.9.5.1.
...
* gnu/packages/cran.scm (r-haplo-stats): Update to 1.9.5.1.
Change-Id: I9b0111e471f88766ccc2096cb65720f9716ad1a2
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
02ac1924a9
gnu: r-spdep: Update to 1.3-3.
...
* gnu/packages/cran.scm (r-spdep): Update to 1.3-3.
Change-Id: Iab08e69f7a8bb5163a8dc5bd042ea19709316563
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
5c23af774d
gnu: r-lemon: Update to 0.4.9.
...
* gnu/packages/cran.scm (r-lemon): Update to 0.4.9.
Change-Id: I31e9a3ae0e1e40bbf7806f891b26a7be13d1d346
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
0310554a50
gnu: r-remacor: Update to 0.0.18.
...
* gnu/packages/cran.scm (r-remacor): Update to 0.0.18.
Change-Id: I20b0441a601a03cbfe3fa99382913491c73b267f
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
57e1d9f16f
gnu: r-cobs: Update to 1.3-7.
...
* gnu/packages/cran.scm (r-cobs): Update to 1.3-7.
Change-Id: I2f3cdef942b6875e5072b7802871308cff78b090
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
016f985740
gnu: r-rnaturalearthdata: Update to 1.0.0.
...
* gnu/packages/cran.scm (r-rnaturalearthdata): Update to 1.0.0.
[propagated-inputs]: Remove r-sp.
Change-Id: Ib649f9242b14aa2c167ce480c768d2e4a1f98a88
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
d97e8a23ed
gnu: r-multicool: Update to 1.0.1.
...
* gnu/packages/cran.scm (r-multicool): Update to 1.0.1.
Change-Id: I347ada2b10281ddc90a0e0cf5859fc0dbedea7e0
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
9cdf115a21
gnu: r-rcpphnsw: Update to 0.6.0.
...
* gnu/packages/cran.scm (r-rcpphnsw): Update to 0.6.0.
Change-Id: Id6e99e2a081b73711f3e4f64a00c0d205a8aa9f5
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
14b61713ee
gnu: r-ggeffects: Update to 1.4.0.
...
* gnu/packages/cran.scm (r-ggeffects): Update to 1.4.0.
Change-Id: I61183ed38aeae82b40d4c5479d13e7e5d9a60e4a
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
924aa82a2c
gnu: r-tarchetypes: Update to 0.7.12.
...
* gnu/packages/cran.scm (r-tarchetypes): Update to 0.7.12.
Change-Id: Ib20dda1be9bfd9c6f7f36876303686e0be3a01b2
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
9a779dd856
gnu: r-writexl: Update to 1.5.0.
...
* gnu/packages/cran.scm (r-writexl): Update to 1.5.0.
Change-Id: I5561f74f174dc3a803c63210cefed334cb4f7282
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
d04abb3b4f
gnu: r-nodbi: Update to 0.10.1.
...
* gnu/packages/cran.scm (r-nodbi): Update to 0.10.1.
Change-Id: Iddd501fa36d0765cf24832531009da277abe97b4
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
57cee07285
gnu: r-officer: Update to 0.6.4.
...
* gnu/packages/cran.scm (r-officer): Update to 0.6.4.
Change-Id: I71997fa352044fa48ae26193bbc6e2a6d0efc344
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
8ff1418c18
gnu: r-ggseqlogo: Update to 0.2.
...
* gnu/packages/cran.scm (r-ggseqlogo): Update to 0.2.
[native-inputs]: Add r-knitr.
Change-Id: Ia2cea22a0bd5f6c96303b82207dcbe6678d7d0c3
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
7ab80fa8ce
gnu: r-xfun: Update to 0.42.
...
* gnu/packages/cran.scm (r-xfun): Update to 0.42.
Change-Id: I3e43a59fcaf2a50595c2efa11a0c9aaf11973170
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
15b5787df5
gnu: r-cvxr: Update to 1.0-12.
...
* gnu/packages/cran.scm (r-cvxr): Update to 1.0-12.
Change-Id: I94c8f094cbdac0c9533ffd604fc3b7a1b6fdac77
2024-02-10 13:52:34 +01:00
Ricardo Wurmus
e23487f9d1
gnu: r-limsolve: Update to 1.5.7.1.
...
* gnu/packages/cran.scm (r-limsolve): Update to 1.5.7.1.
Change-Id: I12c1e939457aa272bdf073ad760b156c263f2196
2024-02-10 13:52:33 +01:00
Ricardo Wurmus
f3e7c118b2
gnu: r-extremes: Update to 2.1-4.
...
* gnu/packages/cran.scm (r-extremes): Update to 2.1-4.
Change-Id: Ie4e30f2ea18f4b5abbba401663e89cc1fc555b54
2024-02-10 13:52:33 +01:00
Ricardo Wurmus
017f65e861
gnu: r-rmumps: Update to 5.2.1-27.
...
* gnu/packages/cran.scm (r-rmumps): Update to 5.2.1-27.
Change-Id: I7e1eb956468de977a98f4835019421382e362131
2024-02-10 13:52:33 +01:00
Ricardo Wurmus
627840ff58
gnu: r-ctrdata: Update to 1.17.1.
...
* gnu/packages/cran.scm (r-ctrdata): Update to 1.17.1.
Change-Id: Ibc5497bae7ba774aa066944b1a10e90c66038224
2024-02-10 13:52:33 +01:00
Ricardo Wurmus
33926bc834
gnu: r-rcppthread: Update to 2.1.7.
...
* gnu/packages/cran.scm (r-rcppthread): Update to 2.1.7.
Change-Id: Ia97e0a99216feaeed4fb6971da36d8521cc0414d
2024-02-10 13:52:33 +01:00
Ricardo Wurmus
f87e3e4da5
gnu: r-servr: Update to 0.29.
...
* gnu/packages/cran.scm (r-servr): Update to 0.29.
Change-Id: Id3cd1434a8653d280d1d1114222d1313046a98f0
2024-02-10 13:52:33 +01:00
Ricardo Wurmus
35838639f6
gnu: r-aer: Update to 1.2-12.
...
* gnu/packages/cran.scm (r-aer): Update to 1.2-12.
Change-Id: Ibdc99bf4a72aded3e76b8f21b95007d9b9d89189
2024-02-10 13:52:33 +01:00
Ricardo Wurmus
9d0969deec
gnu: r-knitrbootstrap: Update to 1.0.3.
...
* gnu/packages/statistics.scm (r-knitrbootstrap): Update to 1.0.3.
[native-inputs]: Add r-knitr.
Change-Id: Ic049e0c898f7c6a258796a59d87972fc9e0a6ff3
2024-02-10 13:52:33 +01:00
Ricardo Wurmus
2f68825fc9
gnu: r-nmf: Update to 0.27.
...
* gnu/packages/bioconductor.scm (r-nmf): Update to 0.27.
Change-Id: I85f44258abaaceeef6d20e3b3f29512560f5efbb
2024-02-10 13:52:33 +01:00
Skylar Chan
e02265a2f9
gnu: whoogle-search: Update to 0.8.4.
...
* gnu/packages/python-web.scm (whoogle-search): Update to 0.8.4.
[propagated-inputs]: Add python-validators.
Change-Id: I4543808d662e7e946c8a398b28ca963e75d4bfd1
Signed-off-by: Christopher Baines <mail@cbaines.net>
2024-02-10 10:37:58 +00:00
Rostislav Svoboda
6621e5bbab
gnu: clojure-tools: Update to 1.11.1.1200.
...
* gnu/packages/clojure.scm (clojure-tools): Update to 1.11.1.1200.
Change-Id: Ifcd272ab679c5a8634167cfd289ca6719c36bbdb
Signed-off-by: Christopher Baines <mail@cbaines.net>
2024-02-10 10:37:23 +00:00
Christopher Baines
1a619b7182
gnu: execline: Correct symlink permissions on the hurd.
...
* gnu/packages/skarnet.scm (execline)[arguments]: Patch tools/install.sh
umask.
Change-Id: I1e5d2497e1fd2ad8a39a5e1ca1c3c409968204a8
2024-02-10 10:35:48 +00:00
nafkhamdc
ca4c9062c4
gnu: Add python-pdbfixer.
...
* gnu/packages/bioinformatics.scm (python-pdbfixer): New variable.
Change-Id: I2894a08ab3eed463f052b9df6372d4016b718d1a
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2024-02-10 11:21:21 +01:00
Danny Milosavljevic
a303cb9a20
gnu: nvc: Update to 1.11.3.
...
* gnu/packages/fpga.scm (nvc): Update to 1.11.3.
[inputs]: Add zstd.
Change-Id: I7347a047a559c15beec75bfe5feb0b15a6cc5584
2024-02-10 01:52:00 +01:00
Sharlatan Hellseher
6dcc097cd8
gnu: patool: Update to 2.1.1.
...
* gnu/packages/patool.scm (patool): Update to 2.1.1.
Change-Id: I86a5e93b10e377a6705c3b7f4a822d8d54f66483
2024-02-09 22:19:09 +00:00
Sharlatan Hellseher
c439bb2683
gnu: patool: Fix build.
...
* gnu/packages/patool.scm (patool): Fix build.
[build-system]: Swap to pyproject-build-system.
[arguments] <#:test-flags>: Disable failing tests.
Change-Id: I53ccec4b39bfae6649bfd715fdb2158b2f7a33e1
2024-02-09 22:19:09 +00:00
Sharlatan Hellseher
ccfda08508
gnu: vale: Remove package labeles.
...
* gnu/packages/textutils.scm (vale) [native-inputs]: Remove labeles.
Change-Id: Id6ac7bcf26b90291b2ec9de18cde8078f6f8f115
2024-02-09 22:19:09 +00:00
Sharlatan Hellseher
c4591c4f12
gnu: Deprecate the go-github-com-errata-ai-vale variable.
...
* gnu/packages/ipfs.scm (go-github-com-errata-ai-vale): Rename to "vale".
(go-github-com-errata-ai-vale): Define as deprecated by "vale".
Change-Id: I3c715a36295cd52e36b16e99f39455b7ad961743
2024-02-09 22:19:09 +00:00
Sharlatan Hellseher
a91b192c90
gnu: packages: textuitils: Sort use-module alphabetically.
...
* gnu/packages/textutils.scm: Sort use-module alphabetically to ease
maintenance.
Change-Id: Ia698a0b3e137ce2fc2f68d0206d209649acdad5e
2024-02-09 22:19:09 +00:00
Andy Tai
f63d14b62a
gnu: moe: Update to 1.14.
...
* gnu/packages/moe.scm (moe): Update to 1.14.
Change-Id: I176ec1a3a2505a4e50426863282dbc73815ae904
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Andy Tai
bbedb7c4ca
gnu: gama: Update to 2.28.
...
* gnu/packages/gps.scm (gama): Update to 2.28.
Change-Id: I5e74bf81e158970559e4937c9563578eae253241
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Timotej Lazar
e8744cbb0a
gnu: wlr-randr: Update to 0.4.0.
...
* gnu/packages/wm.scm (wlr-randr): Update to 0.4.0.
Change-Id: I3a04bf965c4ec098268c9ac4a1328c6ca575cf9e
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Timotej Lazar
f4b90759ca
gnu: mupdf: Update to 1.23.9.
...
* gnu/packages/pdf.scm (mupdf): Update to 1.23.9.
Change-Id: Id67767304d33a09df8cea7b91111729d0bc99366
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Timotej Lazar
70b7c1cabd
gnu: dos2unix: Update to 7.5.2.
...
* gnu/packages/textutils.scm (dos2unix): Update to 7.5.2.
Change-Id: I8b27da05c0780fe942fe19f00766cd2772c66bc0
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Vagrant Cascadian
bc485eaba6
gnu: fheroes2: Update to 1.0.11.
...
* gnu/packages/games.scm (fheroes2): Update to 1.0.11.
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
David Pflug
21aaf1c25a
gnu: syncthing: Update to 1.27.2.
...
* gnu/packages/syncthing.scm (syncthing): Update to 1.27.2.
Change-Id: Ifc6af7a518d4dfc75e42889de1a0873cdcbdfaaf
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Felix Gruber
249eded280
gnu: vxl: Update to 3.5.0.
...
* gnu/packages/image-processing.scm (vxl): Update to 3.5.0.
Change-Id: I90eeb3659b0b208591e7eb6b2bfa19f28cb39a6f
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Rodion Goritskov
235a1a9d7b
gnu: clifm: Update to 1.16
...
* gnu/packages/clifm.scm (clifm): Update to 1.16.
Change-Id: I0bbc1599c4f5cfdfea4e662c3e61318c3c1495a6
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Greg Hogan
4adb0fa248
gnu: pigz: Update to 2.8.
...
* gnu/packages/compression.scm (pigz): Update to 2.8.
Change-Id: I058815637f2bbcd700c0f2b5f46aa0a307450d3f
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:08 +00:00
Ahmad Draidi
b186fa1306
gnu: bcachefs-tools: Restyle format.
...
* gnu/packages/file-systems.scm (bcachefs-tools): Reindent all lines.
Change-Id: I6f3ae711daf2f5d66724f513fe5e8876147f5ccf
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:07 +00:00
Ahmad Draidi
aabbcb0ef9
gnu: bcachefs-tools: Update to 1.4.1.
...
* gnu/packages/file-systems.scm (bcachefs-tools): Update to 1.4.1.
[source]: Use version instead of commit.
[arguments]:<#:make-flags>: Add "PKGCONFIG_UDEVRULESDIR" to put udev rules
under "PREFIX" folder.
[inputs]: Add bash-minimal to fix lint.
Change-Id: I6818bc41260586664d408234323bdc9461e4b8e1
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 22:19:07 +00:00
Vagrant Cascadian
8ffc923368
gnu: wabt: Update to 1.0.34.
...
* gnu/packages/web.scm (wabt): Update to 1.0.34.
[arguments]: Disable tests on !x86_64.
2024-02-09 13:39:00 -08:00
Vagrant Cascadian
30196aec07
gnu: diffoscope: Update to 256 [security fixes].
...
Fixes: https://salsa.debian.org/reproducible-builds/diffoscope/-/issues/361
* gnu/packages/diffoscope.scm (diffoscope): Update to 256.
2024-02-09 13:35:06 -08:00
Artyom V. Poptsov
513755d64d
gnu: kubo: Update to 0.19.0.
...
* gnu/packages/ipfs.scm (kubo): Update to 0.19.0.
[arguments]: Use go-1.20.
Change-Id: I4a267c4712f5dc13b200bdc3a59105265093b392
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2024-02-09 16:34:10 +00:00
Wilko Meyer
570ef13a87
gnu: linux-libre 6.1: Update to 6.1.77.
...
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.77.
(linux-libre-6.1-pristine-source): Update hash.
Change-Id: I6f33c1d4d153949be18bbbc89cec6605557d95bb
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-02-08 19:10:58 -05:00
Wilko Meyer
0baea92cb0
gnu: linux-libre 6.6: Update to 6.6.16.
...
* gnu/packages/linux.scm (linux-libre-6.6-version): Update to 6.6.16.
(linux-libre-6.6-pristine-source): Update hashes.
Change-Id: I5b9ff1b084f3972c1f7f1833c520ed855cbcd0e6
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-02-08 19:10:58 -05:00
Wilko Meyer
f97bd6312b
gnu: linux-libre 6.7: Update to 6.7.4.
...
* gnu/packages/linux.scm (linux-libre-6.7-version): Update to 6.7.4.
(linux-libre-6.7-pristine-source): Update hashes.
Change-Id: I5820f45c98994fc43748b0fafde25465bf63b9ac
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-02-08 19:10:58 -05:00
pukkamustard
01ee39cfee
gnu: opam: Update to 2.1.5.
...
* gnu/packages/ocaml.scm (opam): Update to 2.1.5.
[native-inputs]: Add more test data.
[arguments]: Disable failing test.
(ocaml-graph): Update to 2.0.0.
(ocaml-dose3): Update to 7.0.0.
* gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: Remove.
* gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: Remove.
* gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch: Remove.
* gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: Remove.
* gnu/local.mk (dist_path_DATA): Unregister removed patches.
Change-Id: Ie715998a6d7740332187e1fe0742631964ba5a8a
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2024-02-08 23:23:32 +01:00
Julien Lepiller
90cfb68a31
gnu: ocaml-base64: Update to 3.5.1.
...
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.1.
Change-Id: I4732c7b8711af79e09536adc478d84ca0e29408c
2024-02-08 23:23:22 +01:00
Julien Lepiller
41634d3b5f
gnu: frama-c: Update to 27.1.
...
* gnu/packages/maths.scm (frama-c): Update to 27.1.
(why3): Update to 1.6.0.
Change-Id: I74191e4274d58a88a772413875fbf7de4d243fec
2024-02-08 23:23:08 +01:00
Julien Lepiller
594a412231
gnu: Add dune-site.
...
* gnu/packages/ocaml.scm (dune-site): New variable.
Change-Id: Idbb555f023a179d52bcf6839c7f37506813ae2b4
2024-02-08 23:22:57 +01:00
Julien Lepiller
34327bb715
gnu: Add dune-private-libs.
...
* gnu/packages/ocaml.scm (dune-private-libs): New variable.
Change-Id: I6d2b62745459626d5d1363c1251449b959f8a544
2024-02-08 23:22:54 +01:00
Julien Lepiller
d7bd8c86c3
gnu: Add dune-stdune.
...
* gnu/packages/ocaml.scm (dune-stdune): New variable.
Change-Id: I8993bd7157f6edd0f02d5c9a5bbc54915918ff15
2024-02-08 23:22:52 +01:00
Julien Lepiller
1cbb3fd8f0
gnu: Add dune-dyn.
...
* gnu/packages/ocaml.scm (dune-dyn): New variable.
Change-Id: I34907a758c146d9f18ab5807c069dfe104e6854f
2024-02-08 23:22:48 +01:00
Julien Lepiller
b2a71b868c
gnu: Add dune-ordering.
...
* gnu/packages/ocaml.scm (dune-ordering): New variable.
Change-Id: I78d81dfc2523b47bdca6430e2f9961cf39c7335a
2024-02-08 23:22:33 +01:00
Julien Lepiller
039cf0e35c
gnu: Add ocaml-pp.
...
* gnu/packages/ocaml.scm (ocaml-pp): New variable.
Change-Id: Ib97bceddda4b7037667cdb1a1b7152c8dc06acd7
2024-02-08 23:21:53 +01:00
Arnaud DABY-SEESARAM
97d574ddc4
gnu: Add ocaml-ppx-import.
...
* gnu/packages/ocaml.scm (ocaml-ppx-import): New variable.
Change-Id: Ie9619653f2b3ecc4458394709e37c4a433f875dd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2024-02-08 23:21:30 +01:00
Arnaud DABY-SEESARAM
93f4f69a69
gnu: Add ocaml-ppx-deriving-yaml.
...
* gnu/packages/ocaml.scm (ocaml-ppx-deriving-yaml): New variable.
Change-Id: I2677ce5b630b77abdec7743cd25c4193ca7b351e
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2024-02-08 23:21:07 +01:00
Arnaud DABY-SEESARAM
c1a12ad8ad
gnu: Add ocaml-yaml.
...
* gnu/packages/ocaml.scm (ocaml-yaml): New variable.
Change-Id: Ia890e505dd3ff0fe9a8c243adef460e0475d9e81
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2024-02-08 23:20:55 +01:00
Arnaud DABY-SEESARAM
da2521a63f
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>
2024-02-08 23:20:46 +01:00
Arnaud DABY-SEESARAM
10d8b7523c
gnu: Add ocaml-junit.
...
* gnu/packages/ocaml.scm (ocaml-junit): New variable.
Change-Id: I69fd4302b0a178765a79a72801eed694b3bd3ebd
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2024-02-08 23:20:25 +01:00
Arnaud DABY-SEESARAM
ccd5965ed0
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>
2024-02-08 23:20:01 +01:00
Julien Lepiller
30ad3fb059
gnu: ocaml-ppx-bench: Update to 0.16.0.
...
* gnu/packages/ocaml.scm (ocaml-ppx-bench): Update to 0.16.0.
Change-Id: If65570f4baff82200bf30c0277f2dccad9e23732
2024-02-08 23:16:43 +01:00
Julien Lepiller
98497f923d
gnu: ocaml-jst-config: Update to 0.16.0.
...
* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.16.0.
Change-Id: I9203537dc8d33ee4bf4fb88c6a641f8ecfaecdb0
2024-02-08 23:16:41 +01:00
Julien Lepiller
4584ec6415
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
2024-02-08 23:16:39 +01:00