Age | Commit message (Expand) | Author |
2022-05-29 | gnu: os-prober: Update to 1.80....* gnu/packages/bootloaders.scm (os-prober): Update to 1.80.
[arguments]: Don't explicitly return #t from phases.
| Tobias Geerinckx-Rice |
2022-04-05 | gnu: u-boot-rockpro64-rk3399: Add support for booting from SCSI/SATA....* gnu/packages/bootloaders.scm (u-boot-rockpro64-rk3399)[arguments]: Add
'patch-config phase to support SCSI/SATA disks.
Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
| Ricardo Wurmus |
2022-04-05 | gnu: u-boot: Update to 2022.04....* gnu/packages/bootloaders.scm (u-boot): Update to 2022.01.
[native-inputs]: Add gnutls, tinfo, libuuid.
(u-boot-qemu-riscv64-smode): Drop custom
patches.
* gnu/packages/patches/u-boot-allow-disabling-openssl.patch: Refresh patch.
* gnu/packages/patches/u-boot-riscv64-fix-extlinux.patch: Remove patch,
applied upstream.
* gnu/local.mk (dist_patch_DATA): Update with removed patches.
Co-authored-by: Ricardo Wurmus <rekado@elephly.net>
| Vagrant Cascadian |
2022-03-07 | gnu: dtc: Use pkg-config-for-target....* gnu/packages/bootloaders.scm (dtc)[arguments]: Adjust custom
'patch-pkg-config phase to use pkg-config-for-target.
| Efraim Flashner |
2022-03-07 | gnu: dtc: Use different source tarball....The xz compressed source failed to unpack on riscv64-linux.
* gnu/packages/bootloaders.scm (dtc)[source]: Use gzipped tarball.
| Efraim Flashner |
2022-02-28 | gnu: dtc: Don't depend unconditionally on valgrind....* gnu/packages/bootloaders.scm (dtc)[native-inputs]: Only include
valgrind when building on a system which supports valgrind.
| Efraim Flashner |
2021-12-30 | gnu: u-boot-sifive-unmatched: Build with opensbi....* gnu/packages/bootloaders.scm (u-boot-sifive-unmatched)[arguments]: Add
phase to set location of opensbi firmware.
[inputs]: Add opensbi-generic.
Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
| Efraim Flashner |
2021-12-13 | gnu: Simplify package inputs....This commit was obtained by running:
./pre-inst-env guix style
without any additional argument.
| Ludovic Courtès |
2021-12-05 | Merge remote-tracking branch 'origin/master' into core-updates-frozen | Ricardo Wurmus |
2021-11-27 | gnu: u-boot: Fix rk3399 boot from emmc....* gnu/packages/bootloaders.scm (%u-boot-rk3399-enable-emmc-phy-patch): New
variable.
(u-boot)[origin]: Register it.
* gnu/packages/patches/u-boot-rk3399-enable-emmc-phy.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
| Pierre Langlois |
2021-11-17 | Merge branch 'master' into core-updates-frozen | Ludovic Courtès |
2021-11-14 | gnu: u-boot, u-boot-am335x-boneblack, u-boot-novena: Fix lint warnings....* gnu/packages/bootloaders.scm (u-boot)[description]: Add second space after
sentence.
(u-boot-am335x-boneblack)[description]: Likewise.
(u-boot-novena)[description]: Likewise.
| Vagrant Cascadian |
2021-10-31 | Merge remote-tracking branch 'origin/master' into core-updates-frozen | Efraim Flashner |
2021-10-24 | gnu: u-boot: Update to 2021.10....* gnu/packages/bootloaders.scm (%u-boot-allow-disabling-openssl-patch): New variable.
(u-boot): Update to 2021.10.
Add patch fixing build without openssl.
(u-boot-qemu-riscv64-smode):
Add patch fixing build without openssl.
(u-boot-tools): Adjust phases to disable CONFIG_TOOLS_LIBCRYPTO.
(make-u-boot-package): Add phase disabling CONFIG_TOOLS_LIBCRYPTO.
* gnu/packages/patches/u-boot-allow-disabling-openssl.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add patch.
| Vagrant Cascadian |
2021-10-12 | Merge remote-tracking branch 'origin/master' into core-updates-frozen. | Mathieu Othacehe |
2021-10-03 | gnu: os-prober: Update to 1.79....* gnu/packages/bootloaders.scm (os-prober): Update to 1.79.
| Tobias Geerinckx-Rice |
2021-09-28 | gnu: syslinux: Fix build....* gnu/packages/patches/syslinux-gcc10.patch: New file.
* gnu/packages/patches/syslinux-strip-gnu-property.patch: New file.
* gnu/local.mk (DIST_PATCH_DATA): Add them.
* gnu/packages/bootloaders.scm (syslinux)[source]: Use them.
[arguments]: Only strip debug symbols.
| Mathieu Othacehe |
2021-09-23 | gnu: u-boot-tools: Install the 'kwboot' executable....* gnu/packages/bootloaders.scm (u-boot-tools)[arguments]: Install one more
file.
| Marius Bakke |
2021-09-20 | gnu: grub: Strip debug symbols....This is a follow-up of 71aa29911cf3f4e6db5f9bff9237308b5f93283d. Grub does not
support modules stripped with --strip-unneeded but supports the --strip-debug
option.
* gnu/packages/bootloaders.scm (grub)[arguments]<#:strip-binaries>: Set to
true and use ...
<#:strip-flags>: ... to pass --strip-debug instead of --strip-unneeded.
| Mathieu Othacehe |
2021-09-19 | gnu: grub: Do not strip modules....* gnu/packages/bootloaders.scm (grub)[arguments]<#:strip-binaries>: Set to
false to prevent Grub modules stripping.
| Mathieu Othacehe |
2021-09-07 | Merge branch 'master' into core-updates-frozen | Ludovic Courtès |
2021-09-05 | gnu: u-boot-nintendo-nes-classic-edition: Make it actually boot again....* gnu/packages/patches/u-boot-nintendo-nes-serial.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add u-boot-nintendo-nes-serial.patch.
* gnu/packages/bootloaders.scm (u-boot-nintendo-nes-classic-edition): Downgrade to 2018.11.
[source]: Add patch.
[description]: Modify.
[native-inputs]: Add python-2.
| Danny Milosavljevic |
2021-08-12 | Merge branch 'master' into core-updates-frozen... Conflicts:
gnu/packages/algebra.scm
gnu/packages/games.scm
gnu/packages/golang.scm
gnu/packages/kerberos.scm
gnu/packages/mail.scm
gnu/packages/python.scm
gnu/packages/ruby.scm
gnu/packages/scheme.scm
gnu/packages/tex.scm
gnu/packages/tls.scm
gnu/packages/version-control.scm
| Marius Bakke |
2021-08-01 | Merge branch 'master' into core-updates-frozen | Marius Bakke |
2021-07-31 | gnu: u-boot-rockpro64-rk3399: Enable 'set-environment phase....Fixes <https://bugs.gnu.org/49550>.
* gnu/packages/bootloaders.scm (u-boot-rockpro64-rk3399)[arguments]: Run
'set-environment phase after 'unpack instead of non-existent
'patch-rockpro64-config phase.
| Pierre Langlois |
2021-07-29 | gnu: web: Move libyaml and libcyaml to (gnu packages serialization)....Files to be adjusted were searched with the following command:
$ git ls-files | xargs grep -l -E ',libc?yaml' | \
xargs grep -L '(gnu packages serialization)'
* gnu/packages/web.scm (libyaml, libyaml+static, libcyaml): Move to...
* gnu/packages/serialization.scm: ... here.
| Maxim Cournoyer |
2021-08-05 | gnu: Rename u-boot-sifive-fu540 to sifive-unleashed....* gnu/packages/bootloaders.scm (u-boot-sifive-fu540): Rename to ...
(u-boot-sifive-unleashed): ... this. Change board name from sifive_fu540 to
sifive_unleashed.
* gnu/packages/patches/u-boot-riscv64-fix-extlinux.patch: Rename sifive_fu540
to sifive_unleashed.
| Pierre Langlois |
2021-08-05 | gnu: u-boot-vexpress: Remove package....Upstream no longer supports the platform and we don't expect any users out
there, see <https://bugs.gnu.org/49552>.
* gnu/packages/bootloaders.scm (u-boot-vexpress): Remove variable.
| Pierre Langlois |
2021-08-02 | gnu: u-boot: Update to 2021.07....* gnu/packages/patches/u-boot-sifive-prevent-reloc-initrd-fdt.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/bootloaders.scm (%u-boot-sifive-prevent-relocating-initrd-fdt):
New variable.
(u-boot): Update to 2021.07.
[native-inputs]: Add python-pycryptodomex.
(u-boot-2021.07): Delete variable.
(u-boot-tools)[arguments]: Adapt 'patch phase, disable failing test_spl test.
(u-boot-sifive-unmatched): Use default u-boot package.
(u-boot-pinebook-pro-rk3328): Use default u-boot package.
| Pierre Langlois |
2021-07-24 | gnu: Use 'search-input-directory' and 'search-input-file' where appropriate....This changes some of the remaining uses of this idiom:
(string-append (assoc-ref inputs "LABEL") "FILE")
to one of:
(search-input-file inputs "FILE")
(search-input-directory inputs "FILE")
* gnu/packages/axoloti.scm (axoloti-patcher): Use
'search-input-directory'.
(axoloti-patcher-next): Likewise.
* gnu/packages/bioinformatics.scm (java-picard): Likewise.
* gnu/packages/bootloaders.scm (grub-hybrid): Likewise.
(u-boot-puma-rk3399): Likewise.
(u-boot-rock64-rk3328): Likewise.
(u-boot-firefly-rk3399): Likewise.
(u-boot-rockpro64-rk3399): Likewise.
(u-boot-pinebook-pro-rk3399): Likewise.
* gnu/packages/cran.scm (r-shiny): Likewise.
(r-shinytree): Likewise.
* gnu/packages/education.scm (anki): Likewise.
* gnu/packages/emacs-xyz.scm (emacs-flycheck-grammalecte): Likewise.
(emacs-rime): Likewise.
* gnu/packages/emulators.scm (dolphin-emu): Likewise.
* gnu/packages/games.scm (bsd-games): Likewise.
(seahorse-adventures): Likewise.
(einstein): Likewise.
* gnu/packages/gimp.scm (gimp-fourier): Likewise.
* gnu/packages/gnome.scm (gspell): Likewise.
* gnu/packages/guile-xyz.scm (guile-libyaml): Likewise.
* gnu/packages/java.scm (icedtea-7): Likewise.
* gnu/packages/language.scm (nimf): Likewise.
* gnu/packages/lxde.scm (spacefm): Likewise.
* gnu/packages/mail.scm (claws-mail): Likewise.
* gnu/packages/netpbm.scm (netpbm): Likewise.
* gnu/packages/networking.scm (blueman): Likewise.
* gnu/packages/scheme.scm (scm): Likewise.
* gnu/packages/security-token.scm (python-fido2): Likewise.
* gnu/packages/syndication.scm (rtv): Likewise.
* gnu/packages/tls.scm (acme-client): Likewise.
* gnu/packages/web.scm (netsurf): Likewise.
* gnu/packages/wine.scm (wine-staging): Likewise.
* gnu/packages/wxwidgets.scm (wxwidgets): Likewise.
| Ludovic Courtès |
2021-07-24 | gnu: Use 'search-input-file' when looking for executables....* gnu/packages/admin.scm (isc-dhcp): Use 'search-input-file' when
looking for executables.
* gnu/packages/audio.scm (ableton-link): Likewise.
* gnu/packages/benchmark.scm (fio): Likewise.
* gnu/packages/bioinformatics.scm (roary): Likewise.
(ngless): Likewise.
* gnu/packages/boost.scm (boost-for-irods): Likewise.
* gnu/packages/bootloaders.scm (grub): Likewise.
(grub-efi): Likewise.
* gnu/packages/chemistry.scm (inchi): Likewise.
* gnu/packages/dictionaries.scm (ding): Likewise.
* gnu/packages/dlang.scm (ldc): Likewise.
* gnu/packages/education.scm (childsplay): Likewise.
* gnu/packages/emacs-xyz.scm (emacs-hyperbole): Likewise.
(emacs-haskell-mode): Likewise.
(emacs-auctex): Likewise.
(emacs-ggtags): Likewise.
(emacs-graphviz-dot-mode): Likewise.
(emacs-flycheck-grammalecte): Likewise.
(emacs-counsel-notmuch): Likewise.
(emacspeak): Likewise.
(emacs-exwm): Likewise.
(emacs-exwm-x): Likewise.
(emacs-treemacs): Likewise.
(emacs-telega): Likewise.
(emacs-exiftool): Likewise.
* gnu/packages/emulators.scm (higan): Likewise.
* gnu/packages/engineering.scm (freehdl): Likewise.
(librepcb): Likewise.
* gnu/packages/entr.scm (entr): Likewise.
* gnu/packages/file-systems.scm (libeatmydata): Likewise.
(xfstests): Likewise.
(mergerfs): Likewise.
(mergerfs-tools): Likewise.
* gnu/packages/finance.scm (monero-gui): Likewise.
* gnu/packages/flashing-tools.scm (flashrom): Likewise.
* gnu/packages/fontutils.scm (fontforge): Likewise.
* gnu/packages/game-development.scm (python2-renpy): Likewise.
* gnu/packages/games.scm (opensurge): Likewise.
(xboard): Likewise.
(hyperrogue): Likewise.
(flare-game): Likewise.
(chessx): Likewise.
* gnu/packages/geo.scm (grass): Likewise.
* gnu/packages/glib.scm (glib): Likewise.
* gnu/packages/gnome.scm (mm-common): Likewise.
(network-manager-openvpn): Likewise.
(network-manager-vpnc): Likewise.
(network-manager-openconnect): Likewise.
(apostrophe): Likewise.
* gnu/packages/gnupg.scm (pius): Likewise.
(jetring): Likewise.
* gnu/packages/gnuzilla.scm (icedove): Likewise.
* gnu/packages/golang.scm (go-1.4): Likewise.
* gnu/packages/graphviz.scm (xdot): Likewise.
* gnu/packages/guile-xyz.scm (jupyter-guile-kernel): Likewise.
* gnu/packages/haskell-xyz.scm (ghc-hindent): Likewise.
* gnu/packages/ibus.scm (ibus): Likewise.
* gnu/packages/image.scm (phockup): Likewise.
* gnu/packages/irc.scm (quassel): Likewise.
* gnu/packages/java.scm (drip): Likewise.
(ant-bootstrap): Likewise.
(tla2tools): Likewise.
* gnu/packages/julia.scm (julia): Likewise.
* gnu/packages/less.scm (lesspipe): Likewise.
* gnu/packages/libreoffice.scm (libreoffice): Likewise.
* gnu/packages/linux.scm (fuse): Likewise.
(lm-sensors): Likewise.
(bluez): Likewise.
(fakeroot): Likewise.
(inputattach): Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-cl-diskspace): Likewise.
* gnu/packages/lisp.scm (lisp-repl-core-dumper): Likewise.
* gnu/packages/lua.scm (fennel): Likewise.
* gnu/packages/lxde.scm (spacefm): Likewise.
* gnu/packages/mail.scm (public-inbox): Likewise.
* gnu/packages/maths.scm (hdf-java): Likewise.
(maxima): Likewise.
(frama-c): Likewise.
* gnu/packages/messaging.scm (libgadu): Likewise.
* gnu/packages/music.scm (denemo): Likewise.
(curseradio): Likewise.
* gnu/packages/netpbm.scm (netpbm): Likewise.
* gnu/packages/networking.scm (blueman): Likewise.
(squid): Likewise.
(aircrack-ng): Likewise.
* gnu/packages/node.scm (node): Likewise.
(node-llparse-frontend-bootstrap): Likewise.
(node-llparse-bootstrap): Likewise.
(llhttp-bootstrap): Likewise.
(node-lts): Likewise.
* gnu/packages/ocaml.scm (ocaml-4.11): Likewise.
(opam): Likewise.
(ocaml-graph): Likewise.
* gnu/packages/orpheus.scm (orpheus): Likewise.
* gnu/packages/password-utils.scm (password-store): Likewise.
* gnu/packages/python.scm (pypy3): Likewise.
* gnu/packages/qt.scm (qt5ct): Likewise.
* gnu/packages/radio.scm (libosmo-dsp): Likewise.
* gnu/packages/ruby.scm (ruby-pandoc-ruby): Likewise.
* gnu/packages/rust.scm (rust-1.30): Likewise.
* gnu/packages/screen.scm (byobu): Likewise.
* gnu/packages/statistics.scm (r-with-tests): Likewise.
* gnu/packages/suckless.scm (surf): Likewise.
* gnu/packages/syndication.scm (gfeeds): Likewise.
* gnu/packages/telephony.scm (mumble): Likewise.
* gnu/packages/terminals.scm (alacritty): Likewise.
* gnu/packages/tex.scm (texlive-bin): Likewise.
* gnu/packages/uml.scm (plantuml): Likewise.
* gnu/packages/version-control.scm (python-git-multimail): Likewise.
(gitolite): Likewise.
(hg-commitsigs): Likewise.
(git-when-merged): Likewise.
(git-imerge): Likewise.
(gita): Likewise.
* gnu/packages/video.scm (you-get): Likewise.
* gnu/packages/vim.scm (eovim): Likewise.
* gnu/packages/virtualization.scm (qemu): Likewise.
(virt-manager): Likewise.
(criu): Likewise.
* gnu/packages/vpn.scm (strongswan): Likewise.
(xl2tpd): Likewise.
* gnu/packages/wm.scm (i3lock-fancy): Likewise.
* gnu/packages/wxwidgets.scm (python-wxpython): Likewise.
(python2-wxpython): Likewise.
* gnu/packages/xdisorg.scm (autorandr): Likewise.
* gnu/packages/xorg.scm (hackneyed-x11-cursors): Likewise.
(v86d): Likewise.
(mkfontdir): Likewise.
(xpra): Likewise.
| Ludovic Courtès |
2021-07-02 | gnu: grub-efi: Only enable the stack protector on x86_64-linux....Follow up to 018f95094153660e3041ec160718f0bda286a3dc, as gcc on aarch64-linux
doesn't seem to support -mstack-protector-guard=global.
Fixes <https://bugs.gnu.org/49088>.
* gnu/packages/bootloaders.scm (grub-efi)[arguments]: Only add
"--enable-stack-protector" to #:configure-flags when system is x86_64-linux.
| Christopher Baines |
2021-06-13 | gnu: QEMU: Update to 6.0.0....* gnu/packages/patches/qemu-build-info-manual.patch: Adjust for 6.0.
* gnu/packages/virtualization.scm (qemu): Update to 6.0.0.
[source](snippet): Remove obsolete substitution.
[arguments]: Adjust test substitutions for upstream changes.
* gnu/packages/bootloaders.scm (grub)[source](modules, snippet): New fields.
| Marius Bakke |
2021-06-12 | gnu: grub-efi: Enable the stack protector....* gnu/packages/bootloaders.scm (grub-efi)[arguments]:
Add "--enable-stack-protector" to #:configure-flags.
| Tobias Geerinckx-Rice |
2021-06-12 | gnu: grub: Update to 2.06....[source]: Remove upstreamed patches.
* gnu/packages/patches/grub-setup-root.patch: Update patch.
* gnu/packages/patches/grub-verifiers-Blocklist-fallout-cleanup.patch,
gnu/packages/patches/grub-cross-system-i686.patch: Delete files.
* gnu/local.mk (dist_patch_DATA): Remove them.
| Tobias Geerinckx-Rice |
2021-06-11 | gnu: dtc: Update to 1.6.1....* gnu/packages/bootloaders.scm (dtc): Update to 1.6.1.
| Tobias Geerinckx-Rice |
2021-06-08 | gnu: Add u-boot-sifive-unmatched....* gnu/packages/bootloaders.scm (u-boot-sifive-unmatched): New variable.
| Efraim Flashner |
2021-06-08 | gnu: u-boot-2021.07: Update to 2021.07-rc4....* gnu/packages/bootloaders.scm (u-boot-2021.07): Update to 2021.07-rc4.
| Efraim Flashner |
2021-05-01 | gnu: u-boot-pinebook-pro-rk3399: Update to version 2021.07-rc1....Version 2021.07-rc1 supports video output on the eDP panel.
* gnu/packages/bootloaders.scm (u-boot-2021.07): New variable.
(u-boot-pinebook-pro-rk3399)[source, version]: Use u-boot-2021.07.
| Vagrant Cascadian |
2021-05-01 | gnu: u-boot: Patch to fix boot regressions for some platforms....The previous workaround stopped the preboot phase from loading USB
support, which makes it impossible to use a USB keyboard to select a
generation from the boot menu without using a serial console.
* gnu/packages/patches/u-boot-rockchip-inno-usb.patch: New File.
* gnu/local.mk (dist_patch_DATA): Add patch.
* gnu/packages/bootloaders.scm (%u-boot-rockchip-inno-usb-patch): New variable.
(u-boot)[source]: Add patch.
(u-boot-rockpro64-rk3399, u-boot-pinebook-pro-rk3399): Remove obsolete phase.
| Vagrant Cascadian |
2021-04-21 | gnu: ipxe: Fix grammar....* gnu/packages/bootloaders.scm (ipxe)[description]: Remove gratuitous
use of "allows to".
| Vagrant Cascadian |
2021-04-11 | gnu: u-boot: Update to 2021.04....* gnu/packages/bootloaders (u-boot): Update to 2021.04.
[source]: Use https URL.
| Vagrant Cascadian |
2021-03-11 | gnu: os-prober: Update to 1.78....* gnu/packages/bootloaders.scm (os-prober): Update to 1.78.
| Tobias Geerinckx-Rice |
2021-02-08 | gnu: u-boot-puma-rk3399: Switch to using arm-trusted-firmware-rk3399....* gnu/packages/bootloaders.scm (u-boot-puma-rk3399)[native-inputs]:
Add arm-trusted-firmware-rk3399.
Remove arm-trusted-firmware-puma-rk3399 and rk3399-cortex-m0.
* gnu/packages/firmware.scm (arm-trusted-firmware-puma-rk3399,
rk3399-cortex-m0): Remove obsolete variables.
* gnu/bootloader/u-boot.scm (install-puma-rk3399-u-boot): Install
idbloader.img.
| Vagrant Cascadian |
2021-02-08 | gnu: u-boot: Update to 2021.01....* gnu/packages/bootloaders (u-boot): Update to 2021.01.
(u-boot-pinebook-pro-rk3399): Add patch-pinebook-pro-config phase.
| Vagrant Cascadian |
2021-01-14 | gnu: ipxe: Update to 1.21.1....* gnu/packages/bootloaders.scm (ipxe): Update to 1.21.1.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
| Vincent Legoll |
2021-01-14 | gnu: Add ipxe....* gnu/packages/bootloaders.scm (ipxe): New variable.
* gnu/packages/patches/ipxe-reproducible-geniso.patch: New file …
* gnu/local.mk (dist_patch_DATA): … add it.
Co-authored-by: Tobias Geerinckx-Rice <me@tobias.gr>
Co-authored-by: Brice Waegeneire <brice@waegenei.re>
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
| Vincent Legoll |
2020-12-29 | gnu: u-boot-rockpro64-rk3399: Fix freeze on boot....* gnu/packages/bootloaders.scm (u-boot-rockpro64-rk3399)[arguments]<#:phases>
[patch-rockpro64-config]: Build with modified config to prevent freeze on boot
due to usb being enabled.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
| Caliph Nomble |
2020-12-29 | Revert "gnu: u-boot: Fix freeze on boot with u-boot-rockpro64-rk3399."...because it was applied to the wrong u-boot.
This reverts commit d980e6e275aed80e65ad3b7e17c5a5118661e2c2.
| Danny Milosavljevic |
2020-12-28 | gnu: u-boot: Fix freeze on boot with u-boot-rockpro64-rk3399....* gnu/packages/bootloaders.scm (u-boot-rockpro64-rk3399)[arguments]<#:phases>
[patch-rockpro64-config]: Build with modified config to prevent freeze on boot
due to usb being enabled.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
| Caliph Nomble via Guix-patches via |