aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-09-12gnu: coq-bignums: Update to 9.0.0+coq8.18....* gnu/packages/coq.scm (coq-bignums): Update to 9.0.0+coq8.18. Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6 Zheng Junjie
2024-09-12gnu: coq: Update to 8.18.0....* gnu/packages/coq.scm (coq): Update to 8.18.0. Change-Id: I644a4538538a23d736fca2fab541c2cd2fb1f472 Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn> Jean-Pierre De Jesus DIAZ
2024-09-12gnu: 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> Jean-Pierre De Jesus DIAZ
2024-09-12gnu: Add ytcc....* gnu/packages/video.scm (ytcc): New variable. Change-Id: Iaf4fd7343b02c52a358093ae81aaafbae1eea9bf Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn> Sisiutl
2024-09-12gnu: boinc-client, boinc-server: Update to 8.0.2....Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn> Change-Id: If7748f84ee8259338170bf7ffc4accd7be33f291 Vitalii Koshura
2024-09-12gnu: 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> Richard Sent
2024-09-12gnu: Add python-waybackpack....* gnu/packages/python-web.scm (python-waybackpack): New variable. Change-Id: I2ba32918f36a99dc9cb01499b645272b4e5ddb13 Danny Milosavljevic
2024-09-11gnu: git-annex: Fix bash completion directory....This is a follow-up to 7c5d4031c9572e51f64ba82cc909aa2ffdeda47e. * gnu/packages/haskell-apps.scm (git-annex)[arguments]: Fix a typo in the bash completion directory. Change-Id: Ibbf807203c8305910acf3a2a0dd2d6086ffb6dfd Efraim Flashner
2024-09-11gnu: 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> Matthias Riße
2024-09-11gnu: 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 Efraim Flashner
2024-09-11Update 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> Vagrant Cascadian
2024-09-11gnu: emacs-modus-themes: Update to 4.5.0....* gnu/packages/emacs-xyz.scm (emacs-modus-themes): Update to 4.5.0. Change-Id: I43c62b818c909748ecdf48819e28786100413af1 Maxim Cournoyer
2024-09-10gnu: 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> Jan Wielkiewicz
2024-09-10gnu: 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> Wilko Meyer
2024-09-10gnu: 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> Wilko Meyer
2024-09-10gnu: 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> Wilko Meyer
2024-09-10gnu: 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> Wilko Meyer
2024-09-10gnu: 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> Wilko Meyer
2024-09-10gnu: 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> Wilko Meyer
2024-09-10gnu: 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> Wilko Meyer
2024-09-10gnu: Add cl-micros....* gnu/packages/lisp-xyz.scm (cl-micros, sbcl-micros): New variables. Change-Id: I4e4707ffa30b6fcd1267e681f71a874c790746f4 jgart
2024-09-10gnu: direwolf: Update to 1.7....* gnu/packages/radio.scm (direwolf): Update to 1.7. Change-Id: I3b506b06f77acb1b2fd62e87a9a4050c042ea3c1 Guillaume Le Vaillant
2024-09-10gnu: fpga.scm: Sort module imports....* gnu/packages/fpga.scm: Sort package module imports alphabetically. Change-Id: Ic847b7e577287fd711b5258583f2a02925594df2 Efraim Flashner
2024-09-10gnu: verilator: Remove input labels....* gnu/packages/fpga.scm (verilator)[native-inputs]: Remove input labels. Change-Id: Ia3efa473b909540f972f706e24238d6dc2a2dc43 Efraim Flashner
2024-09-10gnu: 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 Efraim Flashner
2024-09-10gnu: 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 Efraim Flashner
2024-09-09gnu: 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> Nicolas Graves
2024-09-09gnu: 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> Nicolas Graves
2024-09-09gnu: borgmatic: Update to 1.8.14....* gnu/packages/backup.scm (borgmatic): Update to 1.8.14. Change-Id: I8e5ea77c5880cafbb65ea00785f1e0f931fc0142 Steve George
2024-09-09gnu: Add pantheon-calendar....* gnu/packages/pantheon.scm (pantheon-calendar): New variable. Change-Id: I7fc7b694764cfa2556188f24835aa349bdc93cfb jgart
2024-09-09gnu: 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> Artyom V. Poptsov
2024-09-09gnu: 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> Steve George
2024-09-09gnu: 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> Konrad Hinsen
2024-09-09gnu: 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 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-libp2p-go-libp2p....* gnu/packages/ipfs.scm (go-github-com-libp2p-go-libp2p): New variable. Change-Id: I28d21513a07a4e11e7411390c692472473bf1844 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-raulk-go-watchdog....* gnu/packages/golang-xyz.scm (go-github-com-raulk-go-watchdog): New variable. Change-Id: I90a52e2d1f378ee5ddf4e2e902f49e863231c6ee Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-containerd-cgroups....* gnu/packages/golang-xyz.scm (go-github-com-containerd-cgroups): New variable. Change-Id: Ic85fb7fd0a57d98ae8521eafad64fa508df60f57 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-elastic-gosigar....* gnu/packages/golang-xyz.scm (go-github-com-elastic-gosigar): New variable. Change-Id: Id37252f62c0d1335cbcda16a6caf84318feb7f41 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-opencontainers-runtime-spec....* gnu/packages/golang-xyz.scm (go-github-com-opencontainers-runtime-spec): New variable. Change-Id: Ifb46706a137071677496d98e7801e6b0d3bd0bef Sharlatan Hellseher
2024-09-09gnu: Add specification-runtime-spec....* gnu/packages/specifications.scm (specification-runtime-spec): New variable. Change-Id: I9c6fa972cb4a49897f26cf6674cdac0b9662229f Sharlatan Hellseher
2024-09-09gnu: 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 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-jsimonetti-rtnetlink-v2....* gnu/packages/golang-web.scm (go-github-com-jsimonetti-rtnetlink-v2): New variable. Change-Id: I7630af7007faebe1c2576f7167ce0a14a0a3b937 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-jsimonetti-rtnetlink....* gnu/packages/golang-web.scm (go-github-com-jsimonetti-rtnetlink): New variable. Change-Id: Ibc5e23073d5a8988ca5816787bf602b029e748f5 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-mdlayher-netlink....* gnu/packages/golang-web.scm (go-github-com-mdlayher-netlink): New variable. Change-Id: I0b2d11d8e6ebc8dd29993504f99785c206140157 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-josharian-native....* gnu/packages/golang-xyz.scm (go-github-com-josharian-native): New variable. Change-Id: I8eeee42b0855c6dfeb9c8e32d9bd7dcfa17bece2 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-mdlayher-socket....* gnu/packages/golang-web.scm (go-github-com-mdlayher-socket): New variable. Change-Id: I8c116aef364f384fec098538210001e11f38b0ff Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-marten-seemann-tcp....* gnu/packages/golang-web.scm (go-github-com-marten-seemann-tcp): New variable. Change-Id: Icdbc508cbebd779b9bbb42516e86c827072c474b Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-mikioh-tcp....* gnu/packages/golang-web.scm (go-github-com-mikioh-tcp): New variable. Change-Id: I423a98a726666d9eb145125f97a9198efdb2fb61 Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-mikioh-tcpinfo....* gnu/packages/golang-web.scm (go-github-com-mikioh-tcpinfo): New variable. Change-Id: I1725c2721d0a69044eab2507fefb656f5c19d01a Sharlatan Hellseher
2024-09-09gnu: Add go-github-com-mikioh-tcpopt....* gnu/packages/golang-web.scm (go-github-com-mikioh-tcpopt): New variable. Change-Id: Icf1d08566d2149c80ffca22a84bf819751b5656f Sharlatan Hellseher