Liliana Marie Prikler
739b0a0fe1
gnu: cryptominisat: Update to 5.11.22.
...
* gnu/packages/maths.scm (cryptominisat): Update to 5.11.22.
[source]: Patch include for cadiback.
[inputs]: Add cadical, cadiback-for-cryptominisat and gmp.
2024-10-06 12:17:17 +02:00
Liliana Marie Prikler
caaf6e98df
gnu: Add cadiback-for-cryptominisat.
...
* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable.
2024-10-06 12:17:17 +02:00
Liliana Marie Prikler
ea8ef0f878
gnu: Add cadiback.
...
* gnu/packages/maths.scm (cadiback): New variable.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
dcf77f8fca
gnu: Add cadical.
...
* gnu/packages/patches/cadical-add-shared-library.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (cadical): New variable.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
e2ff842ece
gnu: lingeling: Update to 1.0.0.
...
* gnu/packages/maths.scm (lingeling): Update to 1.0.0.
[#:phases]<hard-code-commit>: Adjust accordingly.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
857c50d6e0
gnu: z3: Update to 4.13.0.
...
* gnu/packages/maths.scm (z3): Update to 4.13.0.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
7a3b9db47e
gnu: kissat: Update to 4.0.1.
...
* gnu/packages/maths.scm (kissat): Update to 4.0.1.
[#:phases]<patch-source>: Relax regexp to fix test.
2024-10-06 12:17:16 +02:00
Liliana Marie Prikler
a77f280b34
gnu: scasp: Update to 1.1.4.
...
* gnu/packages/maths.scm (scasp): Update to 1.1.4.
2024-10-06 12:17:16 +02:00
Konrad Hinsen
a873666d3b
gnu: Add cl-s-graphviz.
...
* gnu/packages/lisp-xyz.scm (cl-s-graphviz, ecl-s-graphviz,
sbcl-s-graphviz): New variables.
Change-Id: I501e7f48fb3f04380ded5670b522d1ff936d32a4
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-10-06 11:57:04 +02:00
Konrad Hinsen
91cb1bb582
gnu: Add cl-literate-lisp.
...
* gnu/packages/lisp-xyz.scm (cl-literate-lisp, ecl-literate-lisp,
sbcl-literate-lisp): New variables.
Change-Id: I2b72273c3611d9394d107ad030f21fa7538120b8
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2024-10-06 11:52:13 +02:00
Zheng Junjie
01222f2aad
gnu: lsp-dsp-lib: Update to 1.0.26.
...
* gnu/packages/audio.scm (lsp-dsp-lib): Update to 1.0.26.
Change-Id: I01a3ae1663670add9440f52fd46aa388ff0dda34
2024-10-06 14:02:26 +08:00
Roman Scherer
39ad23ec9a
gnu: lsp-dsp-lib: Update to 1.0.20.
...
* gnu/packages/audio.scm (lsp-dsp-lib): Update to 1.0.20.
[source]: Update url.
[home-page]: Update url.
Change-Id: Iafcb90e194d692665ed832c3f7ff154b4ffa8965
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-10-06 13:58:08 +08:00
Adam Faiz via Guix-patches via
ea47842d29
gnu: libtorrent-rasterbar: Use gexps and new input style.
...
* gnu/packages/bittorrent.scm (libtorrent-rasterbar)[arguments]: Use gexps.
[native-inputs]: Drop labels.
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
Change-Id: Ic6dc52ab422e479c941a1f33abdb64fb81c3229d
2024-10-06 02:41:29 +08:00
Adam Faiz via Guix-patches via
37dede4c4d
gnu: libtorrent-rasterbar: Update to 2.0.10.
...
* gnu/packages/bittorrent.scm (libtorrent-rasterbar): Update to 2.0.10.
[source]<snippet>: Remove test/test_copy_file.cpp patch since it's resolved.
[native-inputs]: Remove no longer needed file (v2_empty_file.torrent).
[arguments]<#:phases>: Remove copy-v2_empty_file.torrent phase.
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
Change-Id: I12e50041cfa141282a2874bf94545bc57ea735ae
2024-10-06 02:36:50 +08:00
Zheng Junjie
002df8abd2
gnu: vimb: Use G-expressions and cc-for-target.
...
* gnu/packages/web-browsers.scm (vimb)[arguments]: Use G-expressions and
cc-for-target.
Change-Id: I701e9d5d6dc12856d49e5c794a535b966fff7810
2024-10-06 02:20:55 +08:00
unwox via Guix-patches via
becf331253
gnu: vimb: Update to 3.7.0.
...
* gnu/packages/web-browsers.scm (vimb): Update to 3.7.0.
[arguments]<#:phases>: Add fix-config-mk phase.
Change-Id: Ia89eb9588cd7eeda1bad29cf0d6e33f75ff5970c
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-10-06 02:17:25 +08:00
Zheng Junjie
780fdb61f6
gnu: lsof: Use G-expressions.
...
* gnu/packages/lsof.scm (lsof)[arguments]: Use G-expressions.
Change-Id: Id086d46c5dbef6028e5eae4df1d2f0b24d4c3d76
2024-10-06 01:35:27 +08:00
Zheng Junjie
05da43104c
gnu: lsof: Update to 4.99.3.
...
* gnu/packages/lsof.scm (lsof): Update to 4.99.3.
[native-inputs]: Add libtool.
[arguments]<#:phases>: Add fix-configure-ac-version phase.
Change-Id: Id086d46c5dbef6028e5eae4df1d2f0b24d4c3d76
2024-10-06 01:35:27 +08:00
Jiajie Chen
fb59f4f392
gnu: lsof: Update to 4.98.0
...
* gnu/packages/lsof.scm (lsof): Update to 4.98.0.
[native-inputs]: Add automake, autoconf, pkg-config, procps and util-linux.
[arguments]<#:phases>: Remove replace configure,install phases. Remove
patch-timestamps,build-man-page phases. Adjust and move disable-failing-tests
to before bootstrap.
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
Change-Id: I5b381e77f6e6ed89431856f409a5a6e8b9fd765c
2024-10-06 01:35:27 +08:00
Tomas Volf
eff3ff9878
gnu: cgit: Update to 1.2.3-6.2a13177.
...
* gnu/packages/version-control.scm (cgit): Update to 1.2.3-6.2a13177.
Change-Id: Ia577112b61d1f78c1d60f286df8103f98197e145
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-10-05 23:48:43 +08:00
Ashish SHUKLA via Guix-patches via
f2470fcb5e
gnu: tmux: Update to 3.5a.
...
* gnu/packages/tmux.scm (tmux): Update to 3.5a.
Change-Id: I1e92cfcdb374f5a0131354900289766cbdf431e7
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-10-05 23:42:40 +08:00
Ashish SHUKLA via Guix-patches via
c5ea9598d8
gnu: mold: Update to 2.34.1.
...
* gnu/packages/mold.scm (mold): Update to 2.34.1.
Change-Id: Ia822b9170df33844af88578f040df4c3c0af3b6a
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-10-05 23:42:40 +08:00
Ashish SHUKLA via Guix-patches via
8da8453de6
gnu: unbound: Update to 1.21.1. [security fixes]
...
This contains a fix for CVE-2024-8508.
* gnu/packages/dns.scm (unbound): Update to 1.21.1.
Change-Id: I2ed1806a0859c5dbd729d18a074220ab13b53223
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
2024-10-05 23:42:37 +08:00
Tobias Geerinckx-Rice
713f5562fa
gnu: r-googlesheets@0: Fix upstream hash mismatch.
...
The tarball was modified upstream. However, the source files themselves
were not: the difference is merely their order within the old & new tar
archives.
* gnu/packages/statistics.scm (r-googlesheets)[source]: Update sha256.
Change-Id: I1074ef61ff09d1599330d227b91b87817c37a2d9
2024-09-29 02:00:00 +02:00
Tobias Geerinckx-Rice
095be32c43
gnu: Add xevil.
...
* gnu/packages/games.scm (xevil): New public variable.
Change-Id: I86885cc816685001a7d8d7dacccc396f39ddbd5f
2024-09-29 02:00:00 +02:00
Ricardo Wurmus
99bc1755a7
gnu: gx-saturator-lv2: Update to 0-4.2142b14.
...
* gnu/packages/music.scm (gx-saturator-lv2): Update to 0-4.2142b14.
[version]: Use GIT-VERSION.
[source]: Use GIT-FILE-NAME.
Change-Id: I848667b0a6e43e9aab119e557c3b257f76bd4f1c
2024-10-05 16:46:04 +02:00
Ricardo Wurmus
746a940822
gnu: gx-vbass-preamp-lv2: Update to 0.3.f6a01c2.
...
* gnu/packages/music.scm (gx-vbass-preamp-lv2): Update to 0.3.f6a01c2.
[version]: Use GIT-VERSION.
[source]: Use GIT-FILE-NAME.
[arguments]: Set CC in make-flags.
[inputs]: Replace gtk+-2 with gtk+.
Change-Id: Ied9357d1d8804c263a801194ae8df661aa6f8afa
2024-10-05 16:37:41 +02:00
Tobias Geerinckx-Rice
c3e42621e9
gnu: stfl: Expand description.
...
* gnu/packages/ncurses.scm (stfl)[description]: Expand it.
Change-Id: I850d773fcff2536f8a52d62cbf7c08fb7cfe4e6c
2024-09-29 02:00:00 +02:00
Tobias Geerinckx-Rice
cc34e597ea
gnu: stfl: Use archived source & home page.
...
* gnu/packages/ncurses.scm (stfl)[source]: Download from the Internet Archive.
[home-page]: Same.
Change-Id: I528dbe408ea83b72f21f84a66fd646cd8b8c1fb8
2024-09-29 02:00:00 +02:00
Tobias Geerinckx-Rice
4fed1aa5aa
gnu: r-rserve: Fix upstream hash mismatch.
...
The tarball was modified upstream. It appears that the ‘1.8-6’ version
that was packaged was actually a development snapshot. In Rserve/NEWS:
-1.8-6 (under development)
+1.8-6 2020-06-11
The only difference appears to be in the build system:
proxy: linking no longer hard-codes `-lssl` (it effectively
failed compilation when SSL was not available).
as the build output does not appear to contain new or changed code.
* gnu/packages/cran.scm (r-rserve)[source]: Update sha256.
Change-Id: Ib32ecbdcbab1a4992f61215f94f1625e316edda2
2024-09-29 02:00:00 +02:00
Tobias Geerinckx-Rice
5234caf1aa
gnu: gitg: Fix upstream hash mismatch.
...
The tarball was modified upstream. The one-line difference is in
meson.build:
- version: '45.alpha',
+ version: '44',
I did not check whether this triggers A Malware. I doubt the original
packager did, either.
* gnu/packages/gnome.scm (gitg)[source]: Update sha256.
Change-Id: I60b96ced6bef5851a28038da7948d4a0ec8a34bf
2024-09-29 02:00:00 +02:00
Tobias Geerinckx-Rice
09fcc5093f
gnu: gzdoom: Delete files that might prevent commercial distribution.
...
* gnu/packages/games.scm (gzdoom)[source]: Delete files in the snippet.
Change-Id: I601bb251e9b690e375f707786bb5789a6a664b92
2024-09-29 02:00:00 +02:00
Tobias Geerinckx-Rice
b20c3a4b9a
gnu: gzdoom: Update package style.
...
* gnu/packages/games.scm (gzdoom)[source]: Don't explicitly return #t
from snippet.
[arguments]: Likewise from phases. Use G-expressions.
Use SEARCH-INPUT-FILE so that we can…
[inputs]: …remove input labels.
Change-Id: I8dfc4ce55c1c5b5bfda98d81ba54e310b7469766
2024-09-29 02:00:00 +02:00
Tobias Geerinckx-Rice
424197c8ca
gnu: gparted: Update to 1.6.0.
...
* gnu/packages/disk.scm (gparted): Update to 1.6.0.
Change-Id: If6ef93f6107431b6af3f2a66ad3eb2e84f10acea
2024-09-29 02:00:00 +02:00
Tobias Geerinckx-Rice
8bfa893dd2
gnu: hotspot: Fix typo in description.
...
* gnu/packages/linux.scm (hotspot)[description]: Remove the typo.
Change-Id: Ie1614a51be08bc70eca633ef553e76dda5662a4a
2024-09-29 02:00:00 +02:00
Maxim Cournoyer
afdb5af46b
gnu: Add jg-cega.
...
* gnu/packages/emulators.scm (jg-cega): New variable.
Change-Id: Ice3799d9aa4600006ac386fa40e80fb97b3018c8
2024-10-05 22:50:09 +09:00
Maxim Cournoyer
80a16b1795
gnu: Add jg-nestopia.
...
* gnu/packages/emulators.scm (jg-nestopia): New variable.
Change-Id: I2f686f43a8339a124b9ef9640638ab182ecf7079
2024-10-05 22:50:09 +09:00
Maxim Cournoyer
999f90ec6c
gnu: Add jg-bsnes.
...
* gnu/packages/emulators.scm (jg-bsnes): New variable.
Change-Id: If88a7bea0c87c8af8fce051f8bec891ff249449f
2024-10-05 22:50:05 +09:00
Maxim Cournoyer
158d00fa47
gnu: Add jgrf.
...
* gnu/packages/emulators.scm (jgrf): New variable.
Change-Id: I0cf706e66977ceb96902dcd54f9175031e129445
2024-10-05 22:49:59 +09:00
Maxim Cournoyer
a7281abc64
gnu: Add jg-api.
...
* gnu/packages/emulators.scm (jg-api): New variable.
Change-Id: I2cd2086560f8353f8260209c4ee0f117c3615917
2024-10-05 22:49:56 +09:00
Maxim Cournoyer
1ca236a02a
gnu: bsnes: Remove input labels and use gexps.
...
* gnu/packages/emulators.scm (bsnes) [arguments]: Use gexps.
[inputs]: Remove labels.
[home-page]: Update URL.
Change-Id: I69046d977c4647f46c1359d62b762149b8f70160
2024-10-05 22:48:38 +09:00
Maxim Cournoyer
7975585559
teams: Register (gnu packages emulators) to games team.
...
* etc/teams.scm (games) <scope>: Register "gnu/packages/emulators.scm".
Change-Id: I269f83073ff7bb9dcfc23767d853050ce07bfcb5
2024-10-05 22:48:38 +09:00
kiasoc5
73ec844389
gnu: gpodder: Update to 3.11.4.
...
* gnu/packages/gpodder.scm (gpodder): Update to 3.11.4.
[inputs]: Replace youtube-dl with yt-dlp.
[arguments]: Use G-expressions. Use #$output and search-input-file instead of assoc-ref. Remove trailing #t from phases.
Change-Id: Ic5c07f63e1e5e419857ead2d58cd273660e0cad5
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 21:29:40 +02:00
kiasoc5
5d2d395477
gnu: libmygpo-qt: Improve package style.
...
* gnu/packages/gpodder.scm (libmygpo-qt)[inputs]: Remove input labels.
[arguments]: Switch from quasiquote to quote.
Change-Id: If258f1e7ef5d291e5452e3d540564c13d86801ef
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 21:29:38 +02:00
kiasoc5
0e0ea72071
gnu: python-mygpoclient: Update to 1.9.
...
* gnu/packages/gpodder.scm (python-mygpoclient): Update to 1.9.
[native-inputs]: Add python-pytest.
[arguments]: Switch from quasiquote to quote.
Change-Id: I78c6f49d94619d63a115527a20fb6ae1c30fed4b
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 21:29:35 +02:00
kiasoc5
7c84d34435
gnu: python-podcastparser: Update to 0.6.10.
...
* gnu/packages/gpodder.scm (python-podcastparser): Update to 0.6.10.
Change-Id: I8378ec847d3815412918e43fe1583cb06a9658f6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 21:29:34 +02:00
Fredrik Salomonsson
93208b8ed7
gnu: Add guix-simplyblack-sddm-theme-qt5.
...
* gnu/packages/display-managers.scm (guix-simplyblack-sddm-theme-qt5): New variable.
Change-Id: Ia4caa3126a37b8b4f885286d60a27cd72272a75b
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 21:26:27 +02:00
Fredrik Salomonsson
6c132dfce8
gnu: guix-simplyblack-sddm-theme: Update to 0.2.
...
* gnu/packages/display-managers.scm (guix-simplyblack-sddm-theme): Update to 0.2.
Change-Id: I2332f51da9c9a41bdd9a55af2a5d2f3336e6c586
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 21:26:24 +02:00
Nicolas Graves
ed0d985385
gnu: scilab: Add sanity-check phase.
...
* gnu/packages/maths.scm (scilab):
[arguments]<#:phases>: Add sanity-check phase.
Change-Id: Idc6911511fd0bf7e779d4af026f0a6390eb3b079
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 19:43:39 +02:00
Nicolas Graves
8570fccfa7
gnu: scilab: Fix the scilab build script.
...
* gnu/packages/maths.scm (scilab):
[arguments]<#:phases>: Reintroduce a manual patch for /bin/ls in phase
pre-build. This is necessary because the file is used when scilab
builds macros, even if it is discarded later.
[inputs]: Add coreutils-minimal.
Change-Id: I692fd6696273bfdce0e50b0f688a60e7dc289ce6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-10-04 19:43:39 +02:00