Commit graph

142840 commits

Author SHA1 Message Date
Jean-Pierre De Jesus DIAZ
114a77e55d
gnu: coq: Propagate ocaml-zarith.
Otherwise each Coq plugin needs to specify it.

* gnu/packages/coq.scm (coq)[inputs]: Move ocaml-zarith from here...
[propagated-inptus]: ... to here.
(coq-gappa)[inputs]: Remove ocaml-zarith.
(coq-bignums)[inputs]: Likewise.
(coq-interval)[inputs]: Likewise.
(coq-equations)[inputs]: Likewise.

Change-Id: I63cab11032cc6d4673efc9fdcf14be2929bda05e
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-09-12 13:20:40 +08:00
Sisiutl
0b17ad1e8b
gnu: Add ytcc.
* gnu/packages/video.scm (ytcc): New variable.

Change-Id: Iaf4fd7343b02c52a358093ae81aaafbae1eea9bf
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-09-12 12:47:03 +08:00
Vitalii Koshura
607833dded
gnu: boinc-client, boinc-server: Update to 8.0.2.
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
Change-Id: If7748f84ee8259338170bf7ffc4accd7be33f291
2024-09-12 12:39:20 +08:00
Richard Sent
a99811d4dd
gnu: emacs-puni: Update to 0-2.72e091ef.
* gnu/packages/emacs-xyz.scm (emacs-puni): Update to 0-2.72e091ef.

Change-Id: Ibf7f6665819c4a1d7d9046fa7e81b60e1ad53905
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-09-12 12:29:18 +08:00
Danny Milosavljevic
71735eae4f
gnu: Add python-waybackpack.
* gnu/packages/python-web.scm (python-waybackpack): New variable.

Change-Id: I2ba32918f36a99dc9cb01499b645272b4e5ddb13
2024-09-12 00:30:32 +02:00
Efraim Flashner
b46256b162
gnu: git-annex: Fix bash completion directory.
This is a follow-up to 7c5d4031c9.

* gnu/packages/haskell-apps.scm (git-annex)[arguments]: Fix a typo in
the bash completion directory.

Change-Id: Ibbf807203c8305910acf3a2a0dd2d6086ffb6dfd
2024-09-11 15:04:30 +03:00
Matthias Riße
6cf71a550a
gnu: git-annex: Update to 10.20240831.
* gnu/packages/haskell-apps.scm (git-annex): Update to 10.20240831.

Change-Id: I6204f4a681b0fc1c176bb2da92c2556a018cd412
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2024-09-11 15:00:24 +03:00
Efraim Flashner
59b6be9133
gnu: font-culmus: Update to 0.140.
* gnu/packages/fonts.scm (font-culmus): Update to 0.140.
[arguments]: Update 'build phase to use included scripts.

Change-Id: I6dc1d3d06c57a7d6305467db23bcff220961c014
2024-09-11 14:27:23 +03:00
Vagrant Cascadian
b6d5a7f583
Update vcmi to 1.5.7.
[[PGP Signed Part:No public key for DC518FC87F9716AA created at 2024-09-10T13:50:15+0900 using EDDSA]]
The attached patch updates vcmi to 1.5.7 and works with QT6 instead of
QT5 (maybe due to fixes in vcmi, maybe due to core-updates merge).

Did more play testing that I had planned...

live well,
  vagrant

[2. text/x-diff; 0001-gnu-vcmi-Update-to-1.5.7.patch]
From 72c5e9e79d7f9b51508c97d5d9d3b5fda7e02a0f Mon Sep 17 00:00:00 2001
From: Vagrant Cascadian <vagrant@debian.org>
Date: Mon, 9 Sep 2024 17:02:02 -0700
Subject: [PATCH] gnu: vcmi: Update to 1.5.7.

* gnu/packages/games.scm (vcmi): Update to 1.5.7.
[native-inputs]: Use qtbase and qtools instead of the QT5 variants.

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2024-09-11 12:04:43 +09:00
Maxim Cournoyer
0dbcb683e3
gnu: emacs-modus-themes: Update to 4.5.0.
* gnu/packages/emacs-xyz.scm (emacs-modus-themes): Update to 4.5.0.

Change-Id: I43c62b818c909748ecdf48819e28786100413af1
2024-09-11 12:04:43 +09:00
Jan Wielkiewicz
ef428cf721
gnu: minetest: Update to 5.9.0.
The Minetest engine and the "Minetest Game" have been decoupled upstream
in Minetest 5.9.0:

https://dev.minetest.net/Changelog#Minetest_Game

* gnu/packages/minetest.scm (minetest): Update to 5.9.0.
[arguments]: Adjust #:configure-flags and #:phases to account for the
removal of the Minetest Game from the Minetest codebase.
[native-search-paths, synopsis, description]: Likewise.
[inputs]: Remove IRRLICHT-FOR-MINETEST.
(minetest-data): Update to 0.0.0-0.88ecab3.  Rename to MINETEST-GAME and
deprecate MINETEST-DATA.
[synopsis, description]: Adjust to account for the decoupling of the game from
the engine.
* gnu/packages/games.scm (irrlicht-for-minetest): Remove variable.
* guix/build-system/minetest.scm (default-minetest-game): New variable.
(%default-modules): Use it.

Change-Id: I0117bd33a2ce5eb1c79fdb29878682081f61dd4e
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-09-10 21:56:44 -04:00
Wilko Meyer
6d9b835e9a
gnu: linux-libre 4.19: Update to 4.19.321.
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.321.
(linux-libre-4.19-pristine-source): Update hash.

Change-Id: Ice26ee11b8162038cb5d3cfcb14c997917a5cf97
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-09-10 21:50:00 -04:00
Wilko Meyer
9acc60ceb2
gnu: linux-libre 5.4: Update to 5.4.283.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.283.
(linux-libre-5.4-pristine-source): Update hash.

Change-Id: I8e375309f7d22339d723b67b229fa2b3ce6465f6
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-09-10 21:50:00 -04:00
Wilko Meyer
ae25715125
gnu: linux-libre 5.10: Update to 5.10.225.
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.225.
(linux-libre-5.10-pristine-source): Update hash.

Change-Id: Ia685679631e11f156f761424e0060a74cdb52030
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-09-10 21:50:00 -04:00
Wilko Meyer
8654460932
gnu: linux-libre 5.15: Update to 5.15.166.
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.166.
(linux-libre-5.15-pristine-source): Update hash.

Change-Id: I80eee16365e9fc0dfa0f1a09618af60d3f4be2b6
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-09-10 21:49:59 -04:00
Wilko Meyer
714852ece2
gnu: linux-libre 6.1: Update to 6.1.108.
* gnu/packages/linux.scm (linux-libre-6.1-version): Update to 6.1.108.
(linux-libre-6.1-pristine-source): Update hash.

Change-Id: Ic69e1c509943af197b4d71d1799ea4c740eefd76
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-09-10 21:49:59 -04:00
Wilko Meyer
9246f4c681
gnu: linux-libre 6.6: Update to 6.6.49.
* gnu/packages/linux.scm (linux-libre-6.6-version): Update to 6.6.49.
(linux-libre-6.6-pristine-source): Update hash.

Change-Id: I30c1cf617f483f80004210dde63b658b60996219
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-09-10 21:49:59 -04:00
Wilko Meyer
13dc5cebe2
gnu: linux-libre: Update to 6.10.8.
* gnu/packages/linux.scm (linux-libre-6.10-version): Update to 6.10.8.
(linux-libre-6.10-pristine-source): Update hash.

Change-Id: I6a59a74f32403717243a8af54cd97e529c5ab277
Signed-off-by: Leo Famulari <leo@famulari.name>
2024-09-10 21:49:55 -04:00
jgart
f977cb2b60
gnu: Add cl-micros.
* gnu/packages/lisp-xyz.scm (cl-micros, sbcl-micros): New variables.

Change-Id: I4e4707ffa30b6fcd1267e681f71a874c790746f4
2024-09-10 08:53:13 -05:00
Guillaume Le Vaillant
fdac906f7c
gnu: direwolf: Update to 1.7.
* gnu/packages/radio.scm (direwolf): Update to 1.7.

Change-Id: I3b506b06f77acb1b2fd62e87a9a4050c042ea3c1
2024-09-10 14:57:32 +02:00
Efraim Flashner
7f05b73d90
gnu: fpga.scm: Sort module imports.
* gnu/packages/fpga.scm: Sort package module imports alphabetically.

Change-Id: Ic847b7e577287fd711b5258583f2a02925594df2
2024-09-10 11:52:22 +03:00
Efraim Flashner
2203a29a16
gnu: verilator: Remove input labels.
* gnu/packages/fpga.scm (verilator)[native-inputs]: Remove input labels.

Change-Id: Ia3efa473b909540f972f706e24238d6dc2a2dc43
2024-09-10 11:49:34 +03:00
Efraim Flashner
c5e4556b8b
gnu: verilator: Update to 5.028.
* gnu/packages/fpga.scm (verilator): Update to 5.028.
[native-inputs]: Add cmake-minimal, gdb/pinned, which.
[inputs]: Add help2man, python.
[arguments]: Remove configure-flags and make-flags.  Add a phase to
remove hardcoded location of binaries.  Add a phase to help the test
suite run.

Change-Id: I6a07622f8de8067fa767c0118c8f114cf09c3b0d
2024-09-10 11:47:00 +03:00
Efraim Flashner
387d7d718a
gnu: systemc: Update to 3.0.0.
* gnu/packages/fpga.scm (systemc): Update to 3.0.0.
[source]: Download using git-fetch.
[build-system]: Switch to cmake-build-system.
[arguments]: Remove configure-flags.  Add test-target.

Change-Id: Id5097a4fc8cd5f3c131990cf3596f5fd581be088
2024-09-10 11:45:59 +03:00
Nicolas Graves
357effe1ee
gnu: python-huggingface-hub: Update to 0.23.2.
* gnu/packages/python-web.scm (python-huggingface-hub): Update to 0.23.2.

Change-Id: I06989e883f54d9f0fc8db002d0a580008f6c6b67
Signed-off-by: jgart <jgart@dismail.de>
2024-09-09 23:56:09 -05:00
Nicolas Graves
09d2f62c0f
gnu: python-huggingface-hub: Disable failing tests.
* gnu/packages/python-web.scm (python-huggingface-hub):
  [arguments]<#:test-flags>: Disable failing test (requires network
  connection).

Change-Id: I7273c4f0bcc3b8cf3d34633a0d6c1df4d76d9170
Signed-off-by: jgart <jgart@dismail.de>
2024-09-09 23:53:49 -05:00
Steve George
79db40eabe
gnu: borgmatic: Update to 1.8.14.
* gnu/packages/backup.scm (borgmatic): Update to 1.8.14.

Change-Id: I8e5ea77c5880cafbb65ea00785f1e0f931fc0142
2024-09-09 23:46:23 -05:00
jgart
b7d845c18f
gnu: Add pantheon-calendar.
* gnu/packages/pantheon.scm (pantheon-calendar): New variable.

Change-Id: I7fc7b694764cfa2556188f24835aa349bdc93cfb
2024-09-09 23:33:07 -05:00
Artyom V. Poptsov
056859150c
gnu: gallery-dl: Update to 1.27.4.
* gnu/packages/video.scm (gallery-dl): Update to 1.27.4.

Change-Id: If56710918cf1606442a5b083c1995a7e9f3c2963
Signed-off-by: jgart <jgart@dismail.de>
2024-09-09 23:33:07 -05:00
Steve George
721ba07e24
gnu: python-apprise: Fix build.
* gnu/packages/python-xyz.scm (python-apprise): Fix build failures.
[native-inputs]: Remove unused python-flake8.
[arguments]: turn off mqltt_tls tests that fail.

Change-Id: Ia1a5b3d6ff284dc57f083c4bdbd1f6356be7a700
Signed-off-by: jgart <jgart@dismail.de>
2024-09-09 23:32:28 -05:00
Konrad Hinsen
851da3ebbe
gnu: cl-lack: Add missing ASD system lack-util-writer-stream.
* gnu/packages/lisp-xyz.scm (sbcl-lack)[arguments]: Add lack-util-write-stream
to the list of ASD systems to ensure that it gets compiled.

Change-Id: Ife13aea3b2171295e5f95d00ab4c035283b7f96e
Signed-off-by: jgart <jgart@dismail.de>
2024-09-09 16:20:48 -05:00
Sharlatan Hellseher
85a603f58b
gnu: kubo: Unbundle more inputs.
* gnu/packages/ipfs.scm (kubo): Unbundle more inputs.
[source]: Delete "vendor/github.com/AndreasBriese",
"vendor/github.com/containerd", "vendor/github.com/davidlazar",
"vendor/github.com/decred", "vendor/github.com/dgraph-io",
"vendor/github.com/elastic", "vendor/github.com/ipfs/go-ds-badger",
"vendor/github.com/ipfs/go-ds-leveldb",
"vendor/github.com/libp2p/go-libp2p",
"vendor/github.com/marten-seemann", "vendor/github.com/mikioh",
"vendor/github.com/opencontainers", and "vendor/github.com/raulk".
[arguments] <#:phases>: Simplify 'copy-input-to-vendor-directory by
replacing it with 'fix-embed-go-libp2p-asn-util.
[inputs]: Remove go-github-com-docker-go-units, go-github-com-flynn-noise,
go-github-com-gorilla-websocket, go-github-com-klauspost-compress,
go-github-com-libp2p-go-buffer-pool,
go-github-com-libp2p-go-flow-metrics, go-github-com-libp2p-go-nat,
go-github-com-libp2p-go-reuseport, go-github-com-libp2p-go-yamux-v4,
go-github-com-libp2p-zeroconf-v2,
go-github-com-multiformats-go-multiaddr-fmt,
go-github-com-multiformats-go-multistream,
go-github-com-pion-webrtc-v3, go-github-com-quic-go-quic-go, and
go-github-com-quic-go-webtransport-go; add
go-github-com-ipfs-go-ds-badger, go-github-com-ipfs-go-ds-leveldb,
and go-github-com-libp2p-go-libp2p.

Change-Id: Ied37be0a18e98bd5fe6d1c6d721d0c5733460721
2024-09-09 21:05:20 +01:00
Sharlatan Hellseher
6da76f1f04
gnu: Add go-github-com-libp2p-go-libp2p.
* gnu/packages/ipfs.scm (go-github-com-libp2p-go-libp2p): New variable.

Change-Id: I28d21513a07a4e11e7411390c692472473bf1844
2024-09-09 21:05:20 +01:00
Sharlatan Hellseher
f415ce5a96
gnu: Add go-github-com-raulk-go-watchdog.
* gnu/packages/golang-xyz.scm (go-github-com-raulk-go-watchdog): New variable.

Change-Id: I90a52e2d1f378ee5ddf4e2e902f49e863231c6ee
2024-09-09 21:05:20 +01:00
Sharlatan Hellseher
7287f05246
gnu: Add go-github-com-containerd-cgroups.
* gnu/packages/golang-xyz.scm (go-github-com-containerd-cgroups): New variable.

Change-Id: Ic85fb7fd0a57d98ae8521eafad64fa508df60f57
2024-09-09 21:05:20 +01:00
Sharlatan Hellseher
a6e705cbcb
gnu: Add go-github-com-elastic-gosigar.
* gnu/packages/golang-xyz.scm (go-github-com-elastic-gosigar): New variable.

Change-Id: Id37252f62c0d1335cbcda16a6caf84318feb7f41
2024-09-09 21:05:20 +01:00
Sharlatan Hellseher
67147ccbe3
gnu: Add go-github-com-opencontainers-runtime-spec.
* gnu/packages/golang-xyz.scm (go-github-com-opencontainers-runtime-spec): New variable.

Change-Id: Ifb46706a137071677496d98e7801e6b0d3bd0bef
2024-09-09 21:05:20 +01:00
Sharlatan Hellseher
353d45389d
gnu: Add specification-runtime-spec.
* gnu/packages/specifications.scm (specification-runtime-spec): New variable.

Change-Id: I9c6fa972cb4a49897f26cf6674cdac0b9662229f
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
b4137cf2f3
gnu: Add go-github-com-decred-dcrd-dcrec-secp256k1-v4.
* gnu/packages/golang-crypto.scm (go-github-com-decred-dcrd-dcrec-secp256k1-v4): New variable.

Change-Id: Ibf57a9970c702bf95625e4145cf9630b0cb4d16c
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
9fdf5961b2
gnu: Add go-github-com-jsimonetti-rtnetlink-v2.
* gnu/packages/golang-web.scm (go-github-com-jsimonetti-rtnetlink-v2): New variable.

Change-Id: I7630af7007faebe1c2576f7167ce0a14a0a3b937
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
94ef5ef9bb
gnu: Add go-github-com-jsimonetti-rtnetlink.
* gnu/packages/golang-web.scm (go-github-com-jsimonetti-rtnetlink): New variable.

Change-Id: Ibc5e23073d5a8988ca5816787bf602b029e748f5
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
c158f2a5e7
gnu: Add go-github-com-mdlayher-netlink.
* gnu/packages/golang-web.scm (go-github-com-mdlayher-netlink): New variable.

Change-Id: I0b2d11d8e6ebc8dd29993504f99785c206140157
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
4101a1e690
gnu: Add go-github-com-josharian-native.
* gnu/packages/golang-xyz.scm (go-github-com-josharian-native): New variable.

Change-Id: I8eeee42b0855c6dfeb9c8e32d9bd7dcfa17bece2
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
6aaa7beb62
gnu: Add go-github-com-mdlayher-socket.
* gnu/packages/golang-web.scm (go-github-com-mdlayher-socket): New variable.

Change-Id: I8c116aef364f384fec098538210001e11f38b0ff
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
d97832e5b7
gnu: Add go-github-com-marten-seemann-tcp.
* gnu/packages/golang-web.scm (go-github-com-marten-seemann-tcp): New variable.

Change-Id: Icdbc508cbebd779b9bbb42516e86c827072c474b
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
ccecf91665
gnu: Add go-github-com-mikioh-tcp.
* gnu/packages/golang-web.scm (go-github-com-mikioh-tcp): New variable.

Change-Id: I423a98a726666d9eb145125f97a9198efdb2fb61
2024-09-09 21:05:19 +01:00
Sharlatan Hellseher
672211e834
gnu: Add go-github-com-mikioh-tcpinfo.
* gnu/packages/golang-web.scm (go-github-com-mikioh-tcpinfo): New variable.

Change-Id: I1725c2721d0a69044eab2507fefb656f5c19d01a
2024-09-09 21:05:18 +01:00
Sharlatan Hellseher
319178c16e
gnu: Add go-github-com-mikioh-tcpopt.
* gnu/packages/golang-web.scm (go-github-com-mikioh-tcpopt): New variable.

Change-Id: Icf1d08566d2149c80ffca22a84bf819751b5656f
2024-09-09 21:05:18 +01:00
Sharlatan Hellseher
bb22037ade
gnu: Add go-github-com-ipfs-go-ds-leveldb.
* gnu/packages/ipfs.scm (go-github-com-ipfs-go-ds-leveldb): New variable.

Change-Id: Ida3a850c9d7ca25b694e580837b3bda918875825
2024-09-09 21:05:18 +01:00
Sharlatan Hellseher
89fcf4dc26
gnu: Add go-github-com-ipfs-go-ds-badger.
* gnu/packages/ipfs.scm (go-github-com-ipfs-go-ds-badger): New variable.

Change-Id: I4c2422650a729829210e158abe155823e014bd9d
2024-09-09 21:05:18 +01:00