futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
109,784 Commits 3 Branches 0 Tags 412 MiB
01911fa0a4
Commit Graph

99329 Commits

Author SHA1 Message Date
Z572 via Guix-patches via
d6331b471d
gnu: krita: Update to 5.1.5. 
* gnu/packages/kde.scm (krita): Update to 5.1.5.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-10 21:45:22 +01:00
Bruno Victal
797083fc7f
gnu: rasdaemon: Update to 0.8.0. 
* gnu/packages/linux.scm (rasdaemon): Update to 0.8.0.
[inputs]: Add pkg-config, libtraceevent.
[arguments]: Rename README.md to README.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-10 21:44:34 +01:00
Petr Hodina
b6a1b61f00
gnu: Add libtraceevent. 
* gnu/packages/linux.scm (libtraceevent): New variable.

Co-authored-by: Bruno Victal <mirai@makinata.eu>
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-10 21:44:12 +01:00
Bruno Victal
7b4f47f066
gnu: rasdaemon: Refactor package. 
* gnu/packages/linux.scm (rasdaemon)[arguments]: Remove obsolete patch.
Prefer wrap-program to brittle 'fix-dmidecode-and-modprobe phase.

With commit 9367354a4e57506a7090143e423fa620f86eeed1, rasdaemon no longer
creates /var/lib/rasdaemon at install time.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-10 21:43:20 +01:00
Nikolay Korotkiy
949160f521
gnu: Add kiln. 
* gnu/packages/web.scm (kiln): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-10 21:36:38 +01:00
Nicolas Goaziou
8186dc2224
gnu: emacs-org-ql: Update to 0.7. 
* gnu/packages/emacs-xyz.scm (emacs-org-ql): Update to 0.7.
[arguments]<#:phases>: Remove unnecessary test fix.
 2023-03-10 21:11:30 +01:00
Nicolas Goaziou
a08f83ecdc
gnu: emacs-org-journal: Run tests. 
* gnu/packages/emacs-xyz.scm (emacs-org-journal)[arguments]: Run tests.
 2023-03-10 19:04:18 +01:00
Nicolas Goaziou
f0ed0aba98
gnu: emacs-org-journal: Update to 2.2.0. 
* gnu/packages/emacs-xyz.scm (emacs-org-journal): Update to 2.2.0.
 2023-03-10 19:02:28 +01:00
Nicolas Goaziou
77b7f8a228
gnu: emacs-inspector: Update to 0.24. 
* gnu/packages/emacs-xyz.scm (emacs-inspector): Update to 0.24.
[arguments]<#:phases>: Skip a failing test.
 2023-03-10 19:00:22 +01:00
Nicolas Goaziou
513b1a1493
gnu: emacs-elisp-refs: Update to 1.5. 
* gnu/packages/emacs-xyz.scm (emacs-elisp-refs): Update to 1.5.
 2023-03-10 18:50:19 +01:00
Nicolas Goaziou
f3f45d1b40
gnu: emacs-buttercup: Update to 1.30. 
* gnu/packages/emacs-xyz.scm (emacs-buttercup): Update to 1.30.
 2023-03-10 18:48:32 +01:00
Nicolas Goaziou
8355657777
gnu: emacs-adoc-mode: Improve package style. 
* gnu/packages/emacs-xyz.scm (emacs-adoc-mode)[arguments]: Use G-expressions.
Remove trailing #T from phases.
 2023-03-10 18:44:00 +01:00
Nicolas Goaziou
f1d38bfbe8
gnu: emacs-adoc-mode: Update to 0.7.0. 
* gnu/packages/emacs-xyz.scm (emacs-adoc-mode): Update to 0.7.0.
[arguments]: Fix tests location.
 2023-03-10 18:43:09 +01:00
Nicolas Goaziou
d4a8639dbd
gnu: cataclysm-dda: Update to 0.G. 
* gnu/packages/games.scm (cataclysm-dda): Update to 0.G.
 2023-03-10 18:33:16 +01:00
Nicolas Goaziou
ad64874753
gnu: cataclysm-dda: Improve package style. 
* gnu/packages/games.scm (cataclysm-dda)[arguments]: Use G-expressions.
[native-inputs]: Remove labels. Re-order alphabetically.
 2023-03-10 18:33:01 +01:00
Navid Afkhami
f7682c2475
gnu: Add r-hdcytodata. 
* gnu/packages/bioconductor.scm (r-hdcytodata): New variable.

Co-authored-by: Ricardo Wurmus <rekado@elephly.net>
 2023-03-10 17:47:24 +01:00
Antero Mejr
e152e861b8
gnu: Add 9base. 
* gnu/packages/suckless.scm (9base): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:59 +01:00
Antero Mejr
344a0d2c11
gnu: Add 9yacc. 
* gnu/packages/suckless.scm (9yacc): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:59 +01:00
Antero Mejr
b924d89fce
gnu: Add lib9. 
* gnu/packages/suckless.scm (lib9): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:59 +01:00
Antero Mejr
8935e41952
gnu: r-mapproj: Correct license field to lpl1.02. 
* gnu/packages/cran.scm (r-mapproj): Correct license.
[license]: Change to lpl1.02.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:59 +01:00
Bruno Victal
5627c73a9e
services: xorg: Deprecate 'screen-locker-service' procedure. 
* doc/guix.texi (X Window): Replace 'screen-locker-service' with 'screen-locker-service-type'.
Document <screen-locker-configuration>.
* gnu/services/desktop.scm (desktop-services-for-system): Use screen-locker-service-type.
* gnu/services/xorg.scm: Export accessors for <screen-locker-configuration>.
(<screen-locker>): Rename to ...
(<screen-locker-configuration>): ... this.
(<screen-locker-configuration>)[empty?]: Rename to ...
(<screen-locker-configuration>)[allow-empty-password?]: ... this.
(screen-locker-pam-services): Update record name.
(screen-locker-setuid-programs): Update accessor name.
(screen-locker-service): Deprecate procedure.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:58 +01:00
Bruno Victal
1a6f230dd3
services: connman: Set service canonical-name to connman. 
* gnu/services/networking.scm (connman-shepherd-service): Make 'networking a
virtual service and set 'connman as its canonical name.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:58 +01:00
Bruno Victal
c122fe37d5
services: network-manager: Set service canonical-name to NetworkManager. 
According to the semantics in [1], 'networking should be a "virtual service"
and NetworkManager its canonical-name. This does not influence
existing services and they should continue to use the 'networking symbol.

One visible change is that 'herd status' doesn't show 'networking' anymore,
instead listing 'NetworkManager' in its place but both symbols are can be used
to start and stop the same service.

Note: Though the symbol NetworkManager doesn't really conform with the overall kebab-case
used throughout Guix, this is intentional as we really want to make it clear that
that the symbol NetworkManager really refers to the software called NetworkManager,
since it's a canonical name here. (rather than risk misleading the user to interpret
the symbol network-manager as a symbol for some unspecific network management software)

[1]: https://www.gnu.org/software/shepherd/manual/html_node/Jump-Start.html

* gnu/services/networking.scm (network-manager-shepherd-service): Make 'networking a
virtual service and set 'NetworkManager as its canonical name.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:58 +01:00
Bruno Victal
d04955972e
services: network-manager: Await for NetworkManager to finish starting up. 
This is similar to its NetworkManager-wait-online.service systemd counterpart,
with the main difference being that we handle it all in 'networking symbol, rather than
introduce a new 'networking-online symbol. (see discussion #47253)

As a result of this change, with opensmtpd-service-type as an example,
manual 'herd restart smtpd' after system bootups are no longer required
when opensmtpd is configured with a smtpd.conf containing non-loopback interfaces.
(this issue is described in more detail at #60300)

Fixes <https://issues.guix.gnu.org/60300>.

* gnu/services/networking.scm (network-manager-shepherd-service): Await for
NetworkManager to finish starting up.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:58 +01:00
Bruno Victal
17c80118fa
services: connman: Deprecate 'iwd?' field. 
* gnu/services/networking.scm (<connman-configuration>)
[iwd?]: Use helper to warn deprecated field.
(connman-shepherd-service): Make iwd? a local variable independent from
the deprecated field.
* doc/guix.texi (Networking Setup): Remove mention of iwd? field.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:57 +01:00
Bruno Victal
269871d18e
services: connman: Add 'shepherd-requirement' field. 
* gnu/services/networking.scm (<connman-configuration>)
[shepherd-requirement]: New field.
(connman-shepherd-service): Honor it.
(connman-configuration-shepherd-requirement): Export accessor.
* doc/guix.texi (Networking Setup): Document it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:57 +01:00
Bruno Victal
1545dab1fa
services: connman: Use match-record and export accessors. 
* gnu/services/networking.scm (connman-shepherd-service): Use match-record.
(connman-configuration-connman, connman-configuration-disable-vpn?)
(connman-configuration-iwd?): Export accessors.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:57 +01:00
Bruno Victal
1e1b3ec012
services: network-manager: Deprecate 'iwd?' field. 
* gnu/services/networking.scm (warn-iwd?-field-deprecation): New procedure,
helper for deprecated field.
(<network-manager-configuration>)[iwd?]: Use helper to warn deprecated field.
(network-manager-shepherd-service): Make iwd? a local variable independent
from the deprecated field.
* doc/guix.texi (Networking Setup): Remove mention of iwd? field.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:57 +01:00
Bruno Victal
7777d767a4
services: network-manager: Add 'shepherd-requirement' field. 
Note: This also makes wpa-supplicant an optional requirement.

* gnu/services/networking.scm (<network-manager-configuration>)
[shepherd-requirement]: New field.
(network-manager-shepherd-service): Honor it.
(network-manager-configuration-shepherd-requirement): Export accessor.
* doc/guix.texi (Networking Setup): Document it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-10 14:49:57 +01:00
Efraim Flashner
4f4e4abd3a
gnu: ipxe: Update to 1.21.1-1.9e1f7a3. 
* gnu/packages/bootloaders.scm (ipxe): Update to 1.21.1-1.9e1f7a3.
[source]: Remove patch.
[arguments]: Add phase to skip 1 i386 firmware file. Move setting
syslinux path from make-flags to phases.
* gnu/packages/patches/ipxe-reproducible-geniso.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
 2023-03-09 15:10:16 +02:00
Efraim Flashner
e22a6ed8f8
gnu: make-openbios-package: Enable building from aarch64, riscv64. 
* gnu/packages/firmware.scm (make-openbios-package)[source]: Add patch
to correctly detect aarch64 and riscv64 build hosts.
(openbios-qemu-ppc)[arguments]: Remove aarch64 workaround for #:system.
* gnu/packages/patches/openbios-aarch64-riscv64-support.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
 2023-03-09 15:10:16 +02:00
Efraim Flashner
7b1dd1e9ea
gnu: make-openbios-package: Enable setting configure-flags. 
* gnu/packages/firmware.scm (make-openbios-package)[arguments]: Adjust
custom 'configure phase to apply configure-flags.
 2023-03-09 15:10:13 +02:00
Andrew Tropin
070c335a91
gnu: emacs-next-tree-sitter: Inherit from emacs-next-pgtk. 
Make emacs with tree-sitter work on wayland as well.

* gnu/packages/emacs.scm (emacs-next-tree-sitter): Inherit from
emacs-next-pgtk, remove uneeded native-inputs, add synopsis and description.
[source]: Use inherited patches.
 2023-03-09 15:31:10 +04:00
Andrew Tropin
b4c64ddce4
gnu: emacs-next-pgtk: Remove xwidgets support. 
xwidgets is beefy and buggy, but emacs-next-pgtk is important for wayland
users, so it seems a good idea to remove xwidgets from emacs-next-pgtk.  Also,
we have a separate emacs-xwidgets package for those who wants to experiment.

* gnu/packages/emacs.scm (emacs-next-pgtk)[propagated-inputs]: Remove
gsettings-desktop-schemas glib-networking.
[arguments]<#:configure-flags>: Remove --with-xwidgets.
[inputs]: Remove webkitgtk-with-libsoup2.
[home-page]: PGTK is merged to upstream emacs repository now, so inherit
home-page from emacs-next.
 2023-03-09 15:31:09 +04:00
Andrew Tropin
a106ee80eb
gnu: Add emacs-cyrillic-dvorak-im. 
* gnu/packages/emacs-xyz.scm (emacs-cyrillic-dvorak-im): New variable.
 2023-03-09 15:31:08 +04:00
Danny Milosavljevic
741b534d16
gnu: fluxbox: Make big cursors work. 
* gnu/packages/patches/fluxbox-1.3.7-no-dynamic-cursor.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/wm.scm (fluxbox)[source]: Add patch.
[arguments]<#:phases>[force-bootstrap]: New phase.
[native-inputs]: Add autoconf, automake, gnu-gettext.
[inputs]: Add libxcursor.
 2023-03-09 11:26:01 +01:00
Nicolas Goaziou
5befcff66e
gnu: tlpui: Update to 1.5.0-6. 
* gnu/packages/linux.scm (tlpui): Update to 1.5.0-6.
[arguments]<#:phases>: Rename USE-TLP-INPUT into SET-ABSOLUTE-LOCATIONS to
be more accurate.  Also add a new phase to skip failing tests.
[inputs]: Add LSBUTILS and PCIUTILS.
 2023-03-08 19:09:01 +01:00
Nicolas Goaziou
edce1efe5a
gnu: emacs-ace-jump-helm-line: Fix description. 
* gnu/packages/emacs-xyz.scm (emacs-ace-jump-helm-line)[description]: Pacify linter.
 2023-03-08 19:04:27 +01:00
Nicolas Goaziou
f6d190c0a8
gnu: emacs-afternoon-theme: Use HTTPS home page URI. 
* gnu/packages/emacs-xyz.scm (emacs-afternoon-theme)[home-page]: Use HTTPS URI.
 2023-03-08 19:02:21 +01:00
Rostislav Svoboda
aa9edead1d
gnu: Add emacs-afternoon-theme. 
* gnu/packages/emacs-xyz.scm (emacs-afternoon-theme): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-08 16:23:21 +01:00
Rostislav Svoboda
fb17abc6c1
gnu: Add emacs-cider-eval-sexp-fu. 
* gnu/packages/emacs-xyz.scm (emacs-cider-eval-sexp-fu): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-08 16:20:54 +01:00
Rostislav Svoboda
71f315ceae
gnu: Add emacs-ace-jump-helm-line. 
* gnu/packages/emacs-xyz.scm (emacs-ace-jump-helm-line): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-08 16:15:31 +01:00
Rostislav Svoboda
ca0a4a9dc2
gnu: Add emacs-ac-ispell. 
* gnu/packages/emacs-xyz.scm (emacs-ac-ispell): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-08 16:13:10 +01:00
Rostislav Svoboda
79a215feda
gnu: Add emacs-cfrs. 
* gnu/packages/emacs-xyz.scm (emacs-cfrs): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-08 16:10:41 +01:00
Rostislav Svoboda
78ae8c6a40
gnu: Add emacs-font-lock+. 
* gnu/packages/emacs-xyz.scm (emacs-font-lock+): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-08 16:05:40 +01:00
Nicolas Goaziou
6e4b997cdf
gnu: emacs-terraform-mode: Update to 1.0.0. 
* gnu/packages/emacs-xyz.scm (emacs-terraform-mode): Update to 1.0.0.
[propagated-inputs]: Add EMACS-DASH.
 2023-03-08 15:52:17 +01:00
Nicolas Goaziou
b5b7b43f20
gnu: emacs-shell-command+: Update to 2.4.2. 
* gnu/packages/emacs-xyz.scm (emacs-shell-command+): Update to 2.4.2.
 2023-03-08 15:52:17 +01:00
Nicolas Goaziou
668250ddc4
gnu: emacs-org-re-reveal: Update to 3.18.2. 
* gnu/packages/emacs-xyz.scm (emacs-org-re-reveal): Update to 3.18.2.
 2023-03-08 15:52:17 +01:00
Nicolas Goaziou
616ce7c959
gnu: emacs-magit-todos: Update to 1.6. 
* gnu/packages/emacs-xyz.scm (emacs-magit-todos): Update to 1.6.
 2023-03-08 15:52:16 +01:00
Nicolas Goaziou
505c7afe37
gnu: emacs-ebuild-mode: Update to 1.62. 
* gnu/packages/emacs-xyz.scm (emacs-ebuild-mode): Update to 1.62.
 2023-03-08 15:52:16 +01:00
Nicolas Goaziou
212ce609a0
gnu: emacs-dtrt-indent: Update to 1.9. 
* gnu/packages/emacs-xyz.scm (emacs-dtrt-indent): Update to 1.9.
 2023-03-08 15:52:16 +01:00
Nicolas Goaziou
159f83e489
gnu: emacs-cnfonts: Update to 1.1.0. 
* gnu/packages/emacs-xyz.scm (emacs-cnfonts): Update to 1.1.0.
[description]: Use proper capitalization.
 2023-03-08 15:52:15 +01:00
Nicolas Goaziou
2387d0cce4
gnu: emacs-cmake-font-lock: Update to 0.1.13. 
* gnu/packages/emacs-xyz.scm (emacs-cmake-font-lock): Update to 0.1.13.
 2023-03-08 15:52:15 +01:00
Nicolas Goaziou
b7a02801e9
gnu: emacs-beginend: Update to 2.4.0. 
* gnu/packages/emacs-xyz.scm (emacs-beginend): Update to 2.4.0.
 2023-03-08 15:52:15 +01:00
Nicolas Goaziou
26313f684b
gnu: emacs-tramp: Update to 2.6.0.2. 
* gnu/packages/emacs-xyz.scm (emacs-tramp): Update to 2.6.0.2.
 2023-03-08 15:52:15 +01:00
Nicolas Goaziou
a8b4562fa4
gnu: emacs-kind-icon: Update to 0.2.0. 
* gnu/packages/emacs-xyz.scm (emacs-kind-icon): Update to 0.2.0.
 2023-03-08 15:52:14 +01:00
Nicolas Goaziou
fe9fedd005
gnu: emacs-compat: Update to 29.1.4.0. 
* gnu/packages/emacs-xyz.scm (emacs-compat): Update to 29.1.4.0.
 2023-03-08 15:52:14 +01:00
Nicolas Goaziou
8b07dc2a16
gnu: emacs-subed: Update to 1.1.0. 
* gnu/packages/emacs-xyz.scm (emacs-subed): Update to 1.1.0.
 2023-03-08 15:52:14 +01:00
Nicolas Goaziou
d22ff5b2d4
gnu: emacs-auctex: Update to 13.1.10. 
* gnu/packages/emacs-xyz.scm (emacs-auctex): Update to 13.1.10.
 2023-03-08 15:52:13 +01:00
Nicolas Goaziou
b9e4cf55f7
gnu: emacs-apheleia: Update to 3.2. 
* gnu/packages/emacs-xyz.scm (emacs-apheleia): Update to 3.2.
 2023-03-08 15:52:13 +01:00
jgart
c738eef0de
gnu: Update emacs-ement to 0.7. 
* gnu/packages/emacs-xyz.scm (emacs-ement): Update to 0.7.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-08 15:52:13 +01:00
Arun Isaac
85d4e8af5b
gnu: skribilo: Update to 0.10.0. 
* gnu/packages/skribilo.scm (skribilo): Update to 0.10.0.
 2023-03-08 13:14:32 +00:00
Efraim Flashner
203578eef2
gnu: libreoffice: Update to 7.5.1.2. 
* gnu/packages/libreoffice.scm (libreoffice): Update to 7.5.1.2.
[arguments]: Adjust 'prepare-src phase for newer dragonbox dependency.
Remove outdated configure flag.
[inputs]: Replace dragonbox-for-libreoffice with dragonbox. Replace
harfbuzz with harfbuzz-5.
(dragonbox-for-libreoffice): Remove package.
* gnu/packages/hunspell.scm (hunspell-dictonary): Update to 7.5.1.2.
 2023-03-08 10:16:26 +02:00
Efraim Flashner
346048a40c
gnu: lagrange: Update to 1.15.3. 
* gnu/packages/web-browsers.scm (lagrange): Update to 1.15.3.
 2023-03-08 08:56:16 +02:00
Efraim Flashner
5755c5b33c
gnu: bubblewrap: Update to 0.8.0. 
* gnu/packages/virtualization.scm (bubblewrap): Update to 0.8.0.
 2023-03-08 08:56:16 +02:00
Efraim Flashner
ee78ee065f
gnu: git-annex: Update to 10.20230227. 
* gnu/packages/haskell-apps.scm (git-annex): Update to 10.20230227.
 2023-03-08 08:56:16 +02:00
Efraim Flashner
d8ce5b1cd1
gnu: vdirsyncer: Update to 0.19.1. 
* gnu/packages/dav.scm (vdirsyncer): Update to 0.19.1.
 2023-03-08 08:55:20 +02:00
Efraim Flashner
034a5f2e86
gnu: toot: Update to 0.35.0. 
* gnu/packages/mastodon.scm (toot): Update to 0.35.0.
 2023-03-08 08:54:31 +02:00
Efraim Flashner
b41ec400e0
gnu: yt-dlp: Update to 2023.03.04. 
* gnu/packages/video.scm (yt-dlp): Update to 2023.03.04.
 2023-03-08 08:53:40 +02:00
Efraim Flashner
c4a8a88e87
gnu: flatpak: Update to 1.14.3. 
* gnu/packages/package-management.scm (flatpak): Update to 1.14.3.
* gnu/packages/patches/flatpak-unset-gdk-pixbuf-for-sandbox.patch:
Refresh patch.
 2023-03-08 08:52:57 +02:00
Maxim Cournoyer
f289fe316a
gnu: python-shiboken-6: Update to 6.3.2. 
* gnu/packages/qt.scm (python-shiboken-6): Update to 6.3.2.
 2023-03-07 20:10:33 -05:00
Maxim Cournoyer
b0af77ee5f
gnu: qtwebengine: Update to 6.3.2. 
* gnu/packages/qt.scm (qtwebengine): Update to 6.3.2.
 2023-03-07 20:10:33 -05:00
Maxim Cournoyer
5937748014
gnu: qtnetworkauth: Update to 6.3.2. 
* gnu/packages/qt.scm (qtnetworkauth): Update to 6.3.2.
 2023-03-07 20:10:33 -05:00
Maxim Cournoyer
2a92e7ba56
gnu: qtpositioning: Update to 6.3.2. 
* gnu/packages/qt.scm (qtpositioning): Update to 6.3.2.
 2023-03-07 20:10:33 -05:00
Maxim Cournoyer
e80881ee58
gnu: qttranslations: Update to 6.3.2. 
* gnu/packages/qt.scm (qttranslations): Update to 6.3.2.
 2023-03-07 20:10:33 -05:00
Maxim Cournoyer
bafb6308eb
gnu: qttools: Update to 6.3.2. 
* gnu/packages/qt.scm (qttools): Update to 6.3.2.
 2023-03-07 20:10:32 -05:00
Maxim Cournoyer
d67370838f
gnu: qtlottie: Update to 6.3.2. 
* gnu/packages/qt.scm (qtlottie): Update to 6.3.2.
 2023-03-07 20:10:32 -05:00
Maxim Cournoyer
2349eca07a
gnu: qtwebchannel: Update to 6.3.2. 
* gnu/packages/qt.scm (qtwebchannel): Update to 6.3.2.
 2023-03-07 20:10:32 -05:00
Maxim Cournoyer
ea92d1df63
gnu: qtwayland: Update to 6.3.2. 
* gnu/packages/qt.scm (qtwayland): Update to 6.3.2.
 2023-03-07 20:10:32 -05:00
Maxim Cournoyer
3d19b7f974
gnu: qtmultimedia: Update to 6.3.2. 
* gnu/packages/qt.scm (qtmultimedia): Update to 6.3.2.
 2023-03-07 20:10:31 -05:00
Maxim Cournoyer
14fa538118
gnu: qtwebsockets: Update to 6.3.2. 
* gnu/packages/qt.scm (qtwebsockets): Update to 6.3.2.
 2023-03-07 20:10:31 -05:00
Maxim Cournoyer
adf4e3f021
gnu: qt5compat: Update to 6.3.2. 
* gnu/packages/qt.scm (qt5compat): Update to 6.3.2.
 2023-03-07 20:10:31 -05:00
Maxim Cournoyer
85ce862389
gnu: qtdeclarative: Update to 6.3.2. 
* gnu/packages/qt.scm (qtdeclarative): Update to 6.3.2.
[arguments]: Refine comment about build time.  Remove dead code.
Re-instate the tst_qqmlprofilerservice test in check phase.
 2023-03-07 20:10:31 -05:00
Maxim Cournoyer
fa3b105397
gnu: qtshadertools: Update to 6.3.2. 
* gnu/packages/qt.scm (qtshadertools): Update to 6.3.2.
 2023-03-07 20:10:31 -05:00
Maxim Cournoyer
aa32340543
gnu: qtsvg: Update to 6.3.2. 
* gnu/packages/qt.scm (qtsvg): Update to 6.3.2.
 2023-03-07 20:10:30 -05:00
Maxim Cournoyer
d21de821f7
gnu: qtbase: Update to 6.3.2 and build with Make. 
* gnu/packages/qt.scm (qtbase): Update to 6.3.2.
[configure-flags]: Delete "-GNinja".
[phases]: Delete build and install phases overrides.
[native-inputs]: Remove ninja.
 2023-03-07 20:10:30 -05:00
Arun Isaac
c0650cf5b7
gnu: guile-xapian: Update to 0.3.1. 
* gnu/packages/guile-xyz.scm (guile-xapian): Update to 0.3.1.
 2023-03-08 00:16:41 +00:00
Kjartan Oli Agustsson
4f7ba4bee4
gnu: warzone2100: Update to 4.3.3. 
* gnu/packages/games.scm (warzone2100): Update to 4.3.3.
[native-inputs]: Remove old-style package labels.
[inputs]: Add opus. Remove old-style package labels.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2023-03-07 17:30:57 -05:00
Michael Rohleder
8d7090998e
gnu: strawberry: Update to 1.0.15. 
* gnu/packages/music.scm (strawberry): Update to 1.0.15.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2023-03-07 17:30:57 -05:00
Nicolas Goaziou
237b175858
gnu: scintilla: Update to 5.3.3. 
* gnu/packages/text-editors.scm (scintilla): Update to 5.3.3.
 2023-03-07 20:45:39 +01:00
Nicolas Goaziou
905e10cd9c
gnu: scummvm: Update to 2.7.0. 
* gnu/packages/emulators.scm (scummvm): Update to 2.7.0.
 2023-03-07 20:45:38 +01:00
conses
08803c8506
gnu: Add emacs-fontaine. 
* gnu/packages/emacs-xyz.scm (emacs-fontaine): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2023-03-07 20:45:38 +01:00
Andy Tai
42b2766e3a
gnu: gegl: Update to 0.4.42 
* gnu/packages/gimp.scm (gegl):  Update to 0.4.42

Signed-off-by: Leo Famulari <leo@famulari.name>
 2023-03-07 12:54:53 -05:00
Efraim Flashner
723fc5df3e
system: Update skeleton gdbinit. 
* gnu/system/shadow.scm (default-skeleton): Update gdbinit to search for
more debug packages in guix-home and the system profile.
(skeleton-directory): Move .gdbinit to .config/gdb/gdbinit.
 2023-03-07 16:35:20 +02:00
Sharlatan Hellseher
c89235fa85
gnu: stellarium: Enable ShowMySky. 
* gnu/packages/astronomy.scm (stellarium):
  [arguments]<#:configure-flags>: Enable ShowMySky optional dependencies
  to simulate scattering of light by the atmosphere.
  [inputs]: Replace QXLSX to QXLSX-QT5. Add CALCMYSKY-QT5.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-07 11:39:50 +01:00
Sharlatan Hellseher
f6deb45c8f
gnu: Add qxlsx-qt5. 
* gnu/packages/qt.scm (qxlsx-qt5): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-07 11:39:50 +01:00
Sharlatan Hellseher
0bef4c7f83
gnu: qxlsx: Use Qt6. 
* gnu/packages/qt.scm (qxlsx):
  [inputs]: Use QTBASE (Qt6) instead QTBASE-5. Add LIBXKBCOMMON,
  VULKAN-HEADERS.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-07 11:39:50 +01:00
Sharlatan Hellseher
aaf7e31d19
gnu: Add calcmysky. 
* gnu/packages/astronomy.scm (calcmysky, calcmysky-qt5): New variables.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-07 11:39:50 +01:00
Bruno Victal
8390b47c04
services: ladspa: Export accessors. 
* gnu/service/sound.scm: Export ladspa-configuration? and
ladspa-configuration-plugins.
(<ladspa-configuration>)[plugins]: Rename accessor to ladspa-configuration-plugins.
(ladspa-environment): Adjust to use renamed plugin accessor.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-07 11:39:50 +01:00
Bruno Victal
16a48d94bc
services: alsa: Export accessors. 
* gnu/services/sound.scm: Export alsa-configuration?,
alsa-configuration-alsa-plugins, alsa-configuration-pulseaudio?
and alsa-configuration-extra-options.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-07 11:39:49 +01:00
Bruno Victal
25638729cb
services: pulseaudio: Export accessors. 
* gnu/services/sound.scm: Export pulseaudio-configuration?,
pulseaudio-configuration-client-conf, pulseaudio-configuration-daemon-conf,
pulseaudio-configuration-script-file, pulseaudio-configuration-extra-script-files
and pulseaudio-configuration-system-script-file.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-07 11:39:49 +01:00
Simon Tournier
a2976da236
gnu: disarchive: Update to 0.5.0. 
* gnu/packages/backup.scm (disarchive): Update to 0.5.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-07 11:39:49 +01:00
Paul A. Patience
26e9725c54
gnu: Add cl-eazy-gnuplot. 
* gnu/packages/lisp-xyz.scm (sbcl-eazy-gnuplot, cl-eazy-gnuplot,
  ecl-eazy-gnuplot): New variables.
* gnu/packages/patches/sbcl-eazy-gnuplot-skip-path-check.patch:
  New file.
* gnu/local.mk (dist_patch_DATA): Register it.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2023-03-07 11:18:50 +01:00
Paul A. Patience
79da3b19f0
gnu: cl-ltk: Update to 0.992-0.ff14a78. 
* gnu/packages/lisp-xyz.scm (sbcl-ltk): Update to 0.992-0.ff14a78.
[file-name]: Rename to cl-ltk.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2023-03-07 11:10:53 +01:00
Sharlatan Hellseher
b0dc4199d6
gnu: Add cl-raylib. 
* gnu/packages/lisp-xyz.scm (cl-raylib, ecl-cl-raylib, sbcl-cl-raylib):
  New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2023-03-07 11:05:11 +01:00
Sharlatan Hellseher
e08ae5900a
gnu: raylib: Build shared libraries. 
* gnu/packages/game-development.scm (raylib):
  [arguments]{#:configure-flags}: Enable building shared libraries.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2023-03-07 10:55:51 +01:00
Artyom Bologov
66f7d95d02
gnu: sbcl-nsymbols: Update to 0.3.1. 
* gnu/packages/lisp-xyz.scm (sbcl-nsymbols): Update to 0.3.1.
[inputs]: Add cl-closer-mop.
[arguments]<#:asd-systems>: Add nsymbols/star.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2023-03-07 10:48:56 +01:00
Paul A. Patience
0189ede02e
gnu: cl-clingon: Update to 0.4.0-1.ff4fda1. 
* gnu/packages/lisp-xyz.scm (sbcl-clingon): Update to 0.4.0-1.ff4fda1.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2023-03-07 10:46:01 +01:00
jgart
0de96f0c73
gnu: Add cl-smtp. 
* gnu/packages/lisp-xyz.scm (cl-smtp, ecl-smtp, sbcl-smtp): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2023-03-07 10:41:16 +01:00
Paul A. Patience
682b87d569
gnu: Add cl-trucler. 
* gnu/packages/lisp-xyz.scm (sbcl-trucler, cl-trucler, ecl-trucler): New
  variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2023-03-07 10:30:57 +01:00
Maxim Cournoyer
aa0b1c97f2
gnu: perl-gtk2: Add pkg-config to native inputs. 
Commit aca64d5604 "gnu: perl-extutils-pkgconfig:
Support cross-compilation." causes pkg-config to no longer be propagated, but
it is needed for this package, which doesn't exclusively uses
perl-extutils-pkgconfig.

* gnu/packages/gtk.scm (perl-gtk2) [native-inputs]: Add pkg-config.
 2023-03-06 21:52:13 -05:00
Maxim Cournoyer
ff5f34ae75
gnu: perl-extutils-pkgconfig: Support cross-compilation. 
* guix/search-paths.scm ($PKG_CONFIG_PATH): New variable.
* gnu/packages/pkg-config.scm (%pkg-config): Use it.
* gnu/packages/perl.scm (perl-extutils-pkgconfig-for-target): New procedure.
(perl-extutils-pkgconfig): Turn into a syntax that
conditionally expands to...
(cross-perl-extutils-pkgconfig): ... this when %current-target-system is set,
or...
(%perl-extutils-pkgconfig): ... this in a native compilation context.
[arguments]: New field.
[propagated-inputs]: Turn into...
[native-inputs]: ... this.
[native-search-paths]: New field.
 2023-03-06 21:27:06 -05:00
Feng Shu
61a0b03c65
gnu: Add mjwm. 
* gnu/packages/wm.scm (mjwm): New variable.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2023-03-07 09:07:35 +08:00
Feng Shu
764ab3786e
gnu: Add jwm. 
* gnu/packages/wm.scm (jwm): New variable.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2023-03-07 09:07:17 +08:00
Leo Famulari
e6ed6ab7f3
gnu: Add linux-libre 6.2. 
* gnu/packages/linux.scm (linux-libre-6.2-version, linux-libre-6.2-gnu-revision,
deblob-scripts-6.2, linux-libre-6.2-pristine-source, linux-libre-6.2-source,
linux-libre-headers-6.2, linux-libre-6.2): New variables.
* gnu/packages/aux-files/linux-libre/6.2-arm.conf,
gnu/packages/aux-files/linux-libre/6.2-arm64.conf,
gnu/packages/aux-files/linux-libre/6.2-i686.conf,
gnu/packages/aux-files/linux-libre/6.2-x86_64.conf: New files.
* Makefile.am (AUX_FILES): Add them.
 2023-03-06 18:15:07 -05:00
Maxim Cournoyer
ad66469b24
gnu: Fix kernel source infodoc patching for linux-libre >= 6.2. 
* gnu/packages/linux.scm (doc-supported?): Rename to ...
(apply-infodoc-patch?): ... new variable with different kernel version
constraints.
(make-linux-libre): Adjust accordingly.
 2023-03-06 18:15:06 -05:00
Ludovic Courtès
0d96387527
gnu: mate-polkit-for-xfce: Break circular top-level references. 
Fixes <https://issues.guix.gnu.org/61911>.
Reported by Maxime Devos <maximedevos@telenet.be>.

* gnu/packages/xfce.scm (mate-polkit-for-xfce): Move to...
* gnu/packages/mate.scm (mate-polkit-for-xfce): ... here.
 2023-03-07 00:02:00 +01:00
Ricardo Wurmus
f88a0bb0db
gnu: sugar-write-activity: Add missing library. 
* gnu/packages/sugar.scm (sugar-write-activity)[propagated-inputs]: Add
libgsf.
 2023-03-06 22:32:40 +01:00
Ricardo Wurmus
fd4545a47a
gnu: evince: Use correct home page. 
* gnu/packages/gnome.scm (evince)[home-page]: Use page for Evince.
 2023-03-06 18:58:03 +01:00
Greg Hogan
a0d22c4198
gnu: git: Update to 2.39.2 [fixes CVE-2023-22490 & CVE-2023-23946]. 
* gnu/packages/version-control.scm (git): Update to 2.39.2.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2023-03-06 12:19:54 -05:00
Antero Mejr
e8c25e389d
gnu: libcap: Add bsd-3 license. 
* gnu/packages/linux.scm (libcap)[license]: Add bsd-3.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2023-03-06 11:47:56 -05:00
Antero Mejr
9c69b322ea
gnu: libsndfile: Correct license. 
* gnu/packages/pulseaudio.scm (libsndfile)[license]: Change to lgpl2.1+.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2023-03-06 11:47:56 -05:00
Jelle Licht
3f222cd5ad
gnu: emacs-lsp-treemacs: Install vscode icons. 
emacs-lsp-treemacs bundles icons from both the vscode-icons/vscode-icons
and microsoft/vscode-icons projects.

* gnu/packages/emacs-xyz.scm (emacs-lsp-treemacs)[arguments]<#:include>:
Install vscode icons.
[license]: Update accordingly.
 2023-03-06 14:58:57 +01:00
Jelle Licht
6494f93e21
gnu: ledger: Update to 3.3.1. 
* gnu/packages/finance.scm (ledger): Update to 3.3.1.
[source]: Remove snippet.
[arguments]<#:phases>: Re-enable old test.
 2023-03-06 14:58:57 +01:00
Ricardo Wurmus
fe9bcf9db2
gnu: Add r-plsdabatch. 
* gnu/packages/bioinformatics.scm (r-plsdabatch): New variable.
 2023-03-06 14:55:06 +01:00
Ricardo Wurmus
760be95385
gnu: Add sugar-maze-activity. 
* gnu/packages/sugar.scm (sugar-maze-activity): New variable.
 2023-03-06 14:55:06 +01:00
Paul A. Patience
461577f0fc
gnu: src: Update to 1.31. 
* gnu/packages/version-control.scm (src): Update to 1.31.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2023-03-06 16:20:24 +08:00
Felix Lechner
882112b581
services: knot: Default zone-file-refresh to 12h. 
The Knot DNS service in Guix uses two days, or 48 hours, for the SOA
refresh interval but that is outside the range of RFC 1912, which is
entitled "Common DNS Operational and Configuration Errors." [1]

Section 2.2 of RFC 1912 recommends a maximum of 12 hours for the SOA
refresh rate: "You can keep it short (20 mins to 2 hours) if you
aren't worried about a small increase in bandwidth used, or longer
(2-12 hours) if your Internet connection is slow or is started on
demand."

This commit sets the default refresh interval at the nearest value
recommended by the standard, which is 12 hours.

Due to the widespread adoption of NOTIFY messages between primary and
secondary DNS servers, the SOA refresh interval has arguably lost some
importance, but the Guix default should still be in line with the
standards.

Values outside the recommended range can provoke warning messages from
services commonly used to find bugs in DNS configurations, such as the
MX Toolbox Super Tool. [2]

[1] https://datatracker.ietf.org/doc/rfc1912/
[2] https://mxtoolbox.com/SuperTool.aspx

* gnu/services/dns.scm (<zone-file>)[refresh]: Default to (* 12 3600).

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2023-03-06 16:10:27 +08:00
Andrew Tropin
8e9f207c5e
gnu: emacs-org-modern: Update to 0.8. 
* gnu/packages/emacs-xyz.scm (emacs-org-modern): Update to 0.8.
 2023-03-06 11:22:17 +04:00
Andy Tai
0804732025
gnu: lilypond: Update to 2.24.1 
* gnu/packages/music.scm (lilypond): Update to 2.24.1

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2023-03-06 13:57:47 +08:00
Ricardo Wurmus
bbf88ad4e0
gnu: Add sugar-write-activity. 
* gnu/packages/sugar.scm (sugar-write-activity): New variable.
 2023-03-05 23:42:28 +01:00
Ricardo Wurmus
dbd085ff5f
gnu: abiword: Enable gobject introspection. 
* gnu/packages/abiword.scm (abiword)[native-inputs]: Add gobject-introspection
and python-wrapper.
[arguments]: Enable building of gobject introspection files.
 2023-03-05 23:42:28 +01:00
Ricardo Wurmus
a7790d3085
gnu: abiword: Drop input labels. 
* gnu/packages/abiword.scm (abiword)[inputs, native-inputs]: Drop package
labels.
 2023-03-05 23:42:28 +01:00
Ricardo Wurmus
e67f6aa8eb
gnu: goffice: Use librsvg-for-system. 
This lets us build goffice for i686-linux.

* gnu/packages/gnome.scm (goffice)[inputs]: Replace librsvg with
librsvg-for-system.
 2023-03-05 23:42:28 +01:00
Ricardo Wurmus
a268115ca3
gnu: abiword: Use librsvg-for-system. 
This allows us to build abiword for i686-linux.

* gnu/packages/abiword.scm (abiword)[inputs]: Replace librsvg with
librsvg-for-system.
 2023-03-05 23:42:28 +01:00
Bruno Victal
2397f47680
file-systems: Remove deprecated 'title' field helper procedures. 
* gnu/system/file-systems.scm (<file-system>): Change constructor name to 'file-system'.
(report-deprecation, device-expression, process-file-system-declaration, file-system): Remove macros.
(file-system-title): Remove procedure.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-05 23:06:55 +01:00
Demis Balbach
559732e42b
gnu: Add libevdi. 
* gnu/packages/linux.scm (libevdi): New variables.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-05 23:06:55 +01:00
Demis Balbach
626205fbff
gnu: Add evdi. 
* gnu/packages/linux.scm (evdi): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-05 23:06:55 +01:00
pukkamustard
de45676c2a
gnu: Update ocaml-eio to 0.8.1. 
* gnu/packages/ocaml.scm (ocaml-eio): Update to 0.8.1.
  [native-inputs]: Add ocaml-mdx.
  (ocaml-mtime): Update to 2.0.0.
  [source]: Use https instead of http.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-05 23:06:55 +01:00
pukkamustard
506f8ffff1
gnu: Update ocaml-uring to 0.5. 
* gnu/packages/ocaml.scm (ocaml-uring): Update to 0.5.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-05 23:06:55 +01:00
Andy Tai
fa059cb001
gnu: flatbuffers: Add version 23.1.21. 
* gnu/packages/serialization.scm (flatbuffers-next): New variable
as flatbuffers@2.0.0 is depended on by tensorflow-lite so we cannot
just upgrade directly, so adding current release flatbuffers@23.1.21.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
 2023-03-05 23:06:55 +01:00
Ludovic Courtès
674d893316
home: services: Add 'pulseaudio-rtp-sink' and 'pulseaudio-rtp-source'. 
* gnu/home/services/sound.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* doc/guix.texi (Sound Home Services): New section.
 2023-03-05 23:06:55 +01:00
Hilton Chain
833febb522
gnu: qbittorrent: Update to 4.5.2. 
* gnu/packages/bittorrent.scm (qbittorrent): Update to 4.5.2.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2023-03-05 15:16:44 -05:00
Roel Janssen
e43220973b
gnu: Add python-zipfly. 
* gnu/packages/python-xyz.scm (python-zipfly): New variable.
 2023-03-05 14:28:04 +01:00
Roel Janssen
6b79201956
gnu: virtuoso-ose: Update to 7.2.9. 
* gnu/packages/databases.scm (virtuoso-ose): Update to 7.2.9; Add 'which' for
  the test suite.
* gnu/packages/patches/virtuoso-ose-remove-pre-built-jar-files.patch: Update
  patch for new version.
 2023-03-05 13:54:28 +01:00
Liliana Marie Prikler
be6485405e
gnu: Add tenacity. 
* gnu/packages/audio.scm (tenacity): New variable.
 2023-03-05 08:17:58 +01:00
Liliana Marie Prikler
c497e1b0ae
gnu: komikku: Update to 1.12.1. 
* gnu/packages/gnome.scm (komikku): Update to 1.12.1.
 2023-03-05 08:17:58 +01:00
Liliana Marie Prikler
ffbf8ce07a
gnu: Add java-smtinterpol. 
* gnu/packages/maths.scm (java-smtinterpol): New variable.
 2023-03-05 08:17:58 +01:00
Liliana Marie Prikler
a10cc08a0f
gnu: Add boolector. 
* gnu/packages/patches/boolector-find-googletest: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (boolector): New variable.
 2023-03-05 08:17:58 +01:00
Liliana Marie Prikler
1164f100d3
gnu: Add btor2tools. 
* gnu/packages/maths.scm (btor2tools): New variable.
 2023-03-05 08:17:58 +01:00