aboutsummaryrefslogtreecommitdiff
path: root/gnu/local.mk
AgeCommit message (Collapse)Author
2023-07-21gnu: linux-libre: Apply wireguard patch fixing keep-alive bug.Maxim Cournoyer
* gnu/packages/patches/linux-libre-wireguard-postup-privkey.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/linux.scm (linux-libre-6.4-source, linux-libre-6.3-source) (linux-libre-6.2-source, linux-libre-6.1-source, linux-libre-5.15-source) (linux-libre-5.10-source): Apply it.
2023-07-21gnu: Oops, distribute ghostscript-CVE-* patches again.Janneke Nieuwenhuizen
This is a follow-up to commit 03f35ff390d5f77843d65a9df4bd763f82049d24 gnu: ghostscript: Fix build for the Hurd. Reported by bjc via IRC. * gnu/local.mk (dist_patch_DATA): Re-add ghostscript-CVE-2023-36664.patch, and ghostscript-CVE-2023-36664-fixup.patch.
2023-07-21chez-sheme-for-racket: Fix building on riscv64-linux.Efraim Flashner
* gnu/packages/racket.scm (%racket-origin): Add patch. * gnu/packages/patches/racket-rktboot-riscv64-support.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it.
2023-07-16gnu: qxlsx: Fix include directory.Tobias Geerinckx-Rice
* gnu/packages/qt.scm (qxlsx)[source]: Add patch. * gnu/packages/patches/qxlsx-fix-include-directory.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it.
2023-07-20gnu: fontforge: Support build on the Hurd.Janneke Nieuwenhuizen
* gnu/packages/patches/fontforge-hurd.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/fontutils.scm (fontforge)[arguments]: When building natively on the Hurd, add new phase 'apply-hurd-patch' and use it, and replace phase 'check' to skip two tests.
2023-07-20gnu: ghostscript: Fix build for the Hurd.Janneke Nieuwenhuizen
* gnu/packages/patches/ghostscript-leptonica-hurd.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/ghostscript.scm (ghostscript)[arguments]: When building for the Hurd, add phase 'patch-leptonica' and use it.
2023-07-20gnu: doxygen: Fix build for the Hurd.Janneke Nieuwenhuizen
* gnu/packages/patches/doxygen-hurd.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/documentation.scm (doxygen)[arguments]: When building for the Hurd, add new phase 'apply-patch' and use it.
2023-07-19gnu: Add python-u-boot-pylib.Maxim Cournoyer
* gnu/packages/bootloaders.scm (python-u-boot-pylib): New variable. * gnu/packages/patches/u-boot-fix-u-boot-lib-build.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
2023-07-19gnu: u-boot: Update to 2023.07.02.Vagrant Cascadian
* gnu/packages/patches/u-boot-infodocs-target.patch: Delete file. * gnu/packages/patches/u-boot-patman-guix-integration.patch: Delete file. * gnu/local.mk: De-register patches. * gnu/packages/patches/u-boot-allow-disabling-openssl.patch: Refresh. * gnu/packages/patches/u-boot-sifive-prevent-reloc-initrd-fdt.patch: Refresh. * gnu/packages/bootloaders.scm (u-boot): Update to 2023.07.02. [native-inputs]: Add python-pyelftools. [source]: Remove patches. (u-boot-tools)[phases]: Update substitution for python3-coverage. Adjust 'patch to catch more openssl incompatibilities. Split lines in 'patch phase. [native-inputs]: Add python-filelock and python-pytest-xdist. (make-u-boot-sunxi64-package): Set SCP environment variable. (u-boot-sifive-unleashed): Update to use opensbi. (u-boot-puma-rk3399)[inputs]: Add arm-trusted-firmware-rk3399 to package-inputs instead of native-inputs. (u-boot-rockpro64-rk3399): Disable CONFIG_SPL_FIT_SIGNATURE in config. Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2023-07-18gnu: biber -> texlive-biber.Nicolas Goaziou
Build from sources provided by TeX Live distribution, so they always match BibLaTeX version. * gnu/packages/patches/biber-adapt-perl-5.36.patch: Delete file. * gnu/local.mk: Apply removal. * gnu/packages/tex.scm (texlive-biber): New variable. (biber): Deprecate variable. (perl-text-bibtex): Move from here... * gnu/packages/perl.scm (perl-text-bibtex): ... to here.
2023-07-18gnu: Clear or deprecate hyphen-related texlive packages or functions.Nicolas Goaziou
* gnu/packages/tex.scm (define-deprecated-package): Move near the top of the module so it can be called earlier. (hyph-utf8-scripts): Remove package. (texlive-hyphen-package): Remove function. (texlive-dehyph): (texlive-generic-dehyph-exptl): (texlive-generic-hyph-utf8): (texlive-hyphen-afrikaans): (texlive-hyphen-ancientgreek): (texlive-hyphen-armenian): (texlive-hyphen-basque): (texlive-hyphen-belarusian): (texlive-hyphen-bulgarian): (texlive-hyphen-catalan): (texlive-hyphen-chinese): (texlive-hyphen-churchslavonic): (texlive-hyphen-coptic): (texlive-hyphen-croatian): (texlive-hyphen-czech): (texlive-hyphen-danish): (texlive-hyphen-dutch): (texlive-hyphen-english): (texlive-hyphen-esperanto): (texlive-hyphen-estonian): (texlive-hyphen-ethiopic): (texlive-hyphen-finnish): (texlive-hyphen-french): (texlive-hyphen-friulan): (texlive-hyphen-galician): (texlive-hyphen-georgian): (texlive-hyphen-german): (texlive-hyphen-greek): (texlive-hyphen-hungarian): (texlive-hyphen-icelandic): (texlive-hyphen-indic): (texlive-hyphen-indonesian): (texlive-hyphen-interlingua): (texlive-hyphen-irish): (texlive-hyphen-italian): (texlive-hyphen-kurmanji): (texlive-hyphen-latin): (texlive-hyphen-latvian): (texlive-hyphen-lithuanian): (texlive-hyphen-macedonian): (texlive-hyphen-mongolian): (texlive-hyphen-norwegian): (texlive-hyphen-occitan): (texlive-hyphen-pali): (texlive-hyphen-piedmontese): (texlive-hyphen-polish): (texlive-hyphen-portuguese): (texlive-hyphen-romanian): (texlive-hyphen-romansh): (texlive-hyphen-russian): (texlive-hyphen-sanskrit): (texlive-hyphen-schoolfinnish): (texlive-hyphen-serbian): (texlive-hyphen-slovak): (texlive-hyphen-slovenian): (texlive-hyphen-spanish): (texlive-hyphen-swedish): (texlive-hyphen-thai): (texlive-hyphen-turkish): (texlive-hyphen-turkmen): (texlive-hyphen-ukrainian): (texlive-hyphen-uppersorbian): (texlive-hyphen-welsh): (texlive-ruhyphen): (texlive-ukrhyph): Deprecate package. * gnu/packages/patches/texlive-hyph-utf8-no-byebug.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Unregister it.
2023-07-18gnu: mig: Update to 1.8+git20230520.Ludovic Courtès
This reinstates 999a6ac0cfd9339e138007ed9e4e544a55e92e3e, which was reverted by a041bbb4bf98cce72b14c554369fc56eeacc2f5d, but without resorting to 'git-fetch'. * gnu/packages/hurd.scm (mig): Update to 1.8+git20220827. [source]: Remove patch. * gnu/packages/patches/mig-cpu.h-generation.patch: Delete. * gnu/local.mk (dist_patch_DATA): Remove it.
2023-07-18gnu: Remove unused gnumach patch.Janneke Nieuwenhuizen
This is a followup to commit 2edd67d34b85715e97b222f4a46da7b156973616 gnu: gnumach: Update to 1.8+git20221224. * gnu/packages/patches/gnumach-add-missing-const_mach_port_name_array_t-type.patch: Remove. * gnu/local.mk (dist_patch_DATA): Remove it.
2023-07-18gnu: Add mactelnet.Bruno Victal
* gnu/packages/admin.scm (mactelnet): New variable. * gnu/packages/patches/mactelnet-remove-init.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-07-09gnu: oath-toolkit: Update to 2.6.9.Tobias Geerinckx-Rice
* gnu/packages/authentication.scm (oath-toolkit): Update to 2.6.9. [source]: Remove patch. * gnu/packages/patches/oath-toolkit-xmlsec-compat.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it.
2023-07-09gnu: ghostscript: Fix CVE-2023-36664.Tobias Geerinckx-Rice
* gnu/packages/ghostscript.scm (ghostscript/fixed): New variable. (ghostscript)[replacement]: Assign it to new field. * gnu/packages/patches/ghostscript-CVE-2023-36664.patch, gnu/packages/patches/ghostscript-CVE-2023-36664-fixup.patch: New files. * gnu/local.mk (dist_patch_DATA): Add them.
2023-07-14Revert "gnu: mig: Update to 1.8+git20230520."Christopher Baines
As noted in the comment, I think using git-fetch caused problems computing derivaations for i586-linux (Guix would just use more and more memory). This reverts commit 999a6ac0cfd9339e138007ed9e4e544a55e92e3e.
2023-07-14gnu: zig-0.9: Fix building on riscv64-linux.Efraim Flashner
* gnu/packages/zig.scm (zig-0.9)[source]: Add patch. [arguments]: Skip tests when building for riscv64-linux. When building for riscv64-linux add a phase to adjust the tests. * gnu/packages/patches/zig-0.9-riscv-support.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it.
2023-07-13gnu: netdde: Resurrect and update to 2.6.32.65-2-e67c284ac1.Janneke Nieuwenhuizen
* gnu/packages/patches/netdde-build-fix.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/hurd.scm (netdde)[source]: Update to e67c284ac113d939b10b4578334f27dab29d5b08 and use it. [inputs]: Add zlib:static. [arguments]: Remove #true from build phases. In 'build' phase, remove obsolete CFLAGS, and also build static version. In 'install' phase, install them in <out>/hurd. There is no check target, so set #:tests? to #false. Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-07-13gnu: gnumach: Support "noide" argument.Janneke Nieuwenhuizen
* gnu/packages/patches/gnumach-support-noide.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/hurd.scm (gnumach-headers): Use it. * doc/guix.texi (Bootloader Configuration): Document it. Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-07-13gnu: hurd: Add rumpkernel.Janneke Nieuwenhuizen
* gnu/packages/patches/hurd-fix-rumpdisk-build.patch, gnu/packages/patches/hurd-rumpdisk-no-hd.patch: New files. * gnu/local.mk (dist_patch_DATA): Add them. * gnu/packages/hurd.scm (hurd): Use them. (hurd)[inputs]: Replace util-linux with util-linux:static, add parted, rumpkernel. [arguments]: Rename `prepare-dde' phase to 'prepare-addons'. Add "rumpdisk" directory. Add --enable-static-progs=... option to #:configure-flags, and remove --without-parted. Signed-off-by: Josselin Poiret <dev@jpoiret.xyz>
2023-07-13gnu: mig: Update to 1.8+git20230520.Josselin Poiret
* gnu/packages/hurd.scm (mig)[source]: Update to 1.8+git20230520. * gnu/packages/patches/gnumach-add-missing-const_mach_port_name_array_t-type.patch: Drop patch. * gnu/local.mk (dist_patch_DATA): Unregister it.
2023-07-13gnu: Add libc-for-target and glibc/hurd.Josselin Poiret
* gnu/packages/patches/glibc-2.37-hurd-clock_t_centiseconds.patch * gnu/packages/patches/glibc-2.37-hurd-local-clock_gettime_MONOTONIC.patch * gnu/packages/patches/glibc-2.37-versioned-locpath.patch: New patches. * gnu/local.mk (dist_patch_DATA): Register them. * gnu/packages/base.scm (glibc/hurd, libc-for-target): New variables. (glibc/hurd-headers): Use glibc/hurd. * gnu/packages/commencement.scm (glibc-final-with-bootstrap-bash)[outputs, source, arguments] (glibc-final)[source]: Use libc-for-target instead of glibc. * gnu/packages/cross-base.scm (cross-libc/deprecated, cross-libc*): Use libc-for-target. This part fixes https://issues.guix.gnu.org/63641#25 * gnu/packages/commencement.scm (%final-inputs): Change to memoized lambda taking "system". * gnu/packages/commencement.scm (canonical-package): Likewise, and update user, passing (%current-system). (make-gcc-toolchain): Update user, passing (%current-system). * gnu/packages/base.scm (%final-inputs): Likewise. * guix/scripts/refresh.scm (options->update-specs): Likewise. * guix/build-system/gnu.scm (standard-packages): Add optional "system" parameter. (lower): Update caller. Co-authored-by: Ludovic Courtès <ludo@gnu.org> Co-authored-by: Janneke Nieuwenhuizen <janneke@gnu.org>
2023-07-13gnu: arpack-ng: Update to 3.9.0.Ludovic Courtès
* gnu/packages/maths.scm (arpack-ng): Update to 3.9.0. [source]: Add 'patches'. [build-system]: Switch to CMAKE-BUILD-SYSTEM. [native-inputs]: Remove AUTOCONF, AUTOMAKE, and LIBTOOL. (arpack-ng-openmpi)[inputs]: Use 'modify-inputs'. [arguments]: Use gexps. * gnu/packages/patches/arpack-ng-propagate-rng-state.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it.
2023-07-11gnu: rocm: Update to 5.6.0.John Kehayias
Update all of the ROCm packages at the same time as they share a version number and should be upgraded together, including llvm-for-rocm. * gnu/packages/llvm.scm (llvm-for-rocm): Update to 5.6.0. [source]{patches}: Remove unneeded patches (linkdl and remove-isystem-usr-include). * gnu/packages/rocm.scm (rocm-cmake, roct-thunk-interface): Update to 5.6.0. (rocclr-src): Update to 5.6.0. [source]{patches}: Add enable-gfx800 patch. (rocm-device-libs): Update to 5.6.0. [inputs]: Update style. (rocm-comgr): Update to 5.6.0. [inputs]: Remove lld. Update style. (rocr-runtime): Update to 5.6.0. [arguments]: Use gexps. Remove configure-flags. Add add-rocm-device-lib-path phase. [inputs]: Add libdrm. Update style. [native-inputs]: Add pkg-config. Update style. (rocm-opencl-runtime): Update to 5.6.0. [source]{patches}: Remove noopencl patch. [arguments]{configure-flags}: Add BUILD_ICD=OFF and FILE_REORG_BACKWARD_COMPATIBILITY=OFF flags. [inputs]: Add opencl-headers. (rocminfo): Update to 5.6.0. [arguments]: Use gexps. Use search-input-file instead of assoc-ref and which. (rocm-bandwidth-test): Update to 5.6.0. [source]{patches}: Add fix-includes patch. * gnu/packages/patches/rocm-comgr-3.1.0-dependencies.patch, gnu/packages/patches/rocm-opencl-runtime-4.3-noclinfo.patch: Update patches. * gnu/packages/patches/llvm-roc-4.0.0-remove-isystem-usr-include.patch, gnu/packages/patches/llvm-roc-5.0.0-linkdl.patch, gnu/packages/patches/rocm-opencl-runtime-4.3-noopencl.patch: Delete files. * gnu/packages/patches/rocm-bandwidth-test-5.5.0-fix-includes.patch, gnu/packages/patches/rocclr-5.6.0-enable-gfx800.patch: New files. * gnu/local.mk (dist_patch_DATA): Update patches.
2023-07-09gnu: lightdm: Apply patch to fix VNC server address binding ordering.Maxim Cournoyer
* gnu/packages/patches/lightdm-vnc-ipv6.patch: New patch file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/display-managers.scm (lightdm): Apply it. * gnu/tests/lightdm.scm (run-lightdm-test): Remove comment and expected fail directive for the "can connect to TCP port 5900 on IPv6" test. Suggested-by: Bruno Victal <mirai@makinata.eu>
2023-07-09gnu: Add vcmi.Vagrant Cascadian
* gnu/packages/games.scm (vcmi): New variable. * gnu/packages/patches/vcmi-disable-privacy-breach.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it here. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2023-07-09gnu: Add fuzzylite.Vagrant Cascadian
* gnu/packages/games.scm (fuzzylite): New variable. * gnu/packages/patches/fuzzylite-relative-path-in-tests.patch: New file. * gnu/packages/patches/fuzzylite-use-catch2.patch: New file. * gnu/packages/patches/fuzzylite-soften-float-equality.patch: New file. * gnu/local.mk (dist_patch_DATA): Register them here. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2023-07-02gnu: git: Update to 2.41.0.Tobias Geerinckx-Rice
* gnu/packages/version-control.scm (git): Update to 2.41.0. [source]: Remove upstreamed patch. * gnu/packages/patches/git-header-cmd.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it.
2023-07-04gnu: local: Register missing patch.Efraim Flashner
* gnu/local.mk (dist_patch_DATA): Register missing patch.
2023-07-03gnu: jbr: Make big cursors work.Danny Milosavljevic
* gnu/packages/patches/jbr-17-xcursor-no-dynamic.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/java.scm (jbr17)[source]<#:patches>: Add it.
2023-06-26gnu: dezyne: Update to 2.17.3.Janneke Nieuwenhuizen
* gnu/packages/patches/dezyne-add-missing-shebangs.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. * gnu/packages/dezyne.scm (dezyne): Update to 2.17.3. [source]: Remove patch, update hash.
2023-06-25gnu: Add python-vega-datasets.Vinicius Monego
* gnu/packages/statistics.scm (python-vega-datasets): New variable. * gnu/packages/patches/python-vega-datasets-remove-la-riots-code.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it.
2023-06-24gnu: dyninst: Fix runtime error with new glibc.Olivier Dion
* gnu/packages/patches/dyninst-fix-glibc-compatibility.patch: New file. * gnu/packages/instrumentation.scm (dyninst)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-24gnu: igt-gpu-tools: Fix build with procps@4.Tobias Geerinckx-Rice
* gnu/packages/patches/igt-gpu-tools-Use-libproc2.patch: New file. * gnu/packages/admin.scm (igt-gpu-tools)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Add it.
2023-06-20gnu: python-keras: Update to 2.3.1.Ricardo Wurmus
* gnu/packages/patches/python-keras-integration-test.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. * gnu/packages/machine-learning.scm (python-keras): Update to 2.3.1. [source]: Remove patch; update snippet. [arguments]: Add build phase 'tf-compatibility; add phase 'hdf5-compatibility; rename phase 'remove-tests-for-unavailable-features to 'delete-unavailable-backends; update 'check phase to disable tests that cannot be repaired or are flaky. [native-inputs]: Add python-flaky, python-markdown, and python-pyux.
2023-06-14gnu: libtree: fix building on non-x86 systems.Z572
* gnu/packages/linux.scm (libtree): fix building on non-x86 systems. [source]: add patch. * gnu/packages/patches/libtree-fix-check-non-x86.patch: New file. * gnu/local.mk (dist_path_DATA): Register it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-14gnu: guile-fibers: Add 1.3.1.Ludovic Courtès
* gnu/packages/guile-xyz.scm (guile-fibers-1.3): New variable. (guile-fibers-1.1): Inherit from it. * gnu/packages/patches/guile-fibers-libevent-32-bit.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it.
2023-06-14gnu: ibus-anthy: Prepare for tests.Maxim Cournoyer
* gnu/packages/patches/ibus-anthy-fix-tests.patch: New patch. * gnu/packages/ibus.scm (ibus-anthy): Register it. * gnu/packages/ibus.scm (ibus-anthy) [source]: Apply patch. [arguments]: Clarify #:tests? comment. Add a fix-check, do-not-override-GI_TYPELIB_PATH and prepare-for-tests phases. [native-inputs]: Add procps, python-pycotap, util-linux and xorg-server-for-tests.
2023-06-14gnu: glibc-2.33: Fix building for riscv64-linux.Efraim Flashner
* gnu/packages/base.scm (glibc-2.33)[source]: Add patch. * gnu/packages/patches/glibc-2.33-riscv64-miscompilation.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it.
2023-06-14system: images: Add unmatched module.Efraim Flashner
* gnu/system/images/unmatched.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
2023-06-13gnu: quodlibet: Fix compatibility with python-3.10.Alice BRENON
Reported in #63205. * gnu/packages/music.scm (quodlibet)[source]: Add two backported patches. [arguments]: Adjust 'check phase to change skipped tests. * gnu/packages/patches/quodlibet-fix-invalid-glob.patch, gnu/packages/patches/quodlibet-fix-mtime-tests.patch: New files. * gnu/local.mk (dist_patch_DATA): Register them. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2023-06-12gnu: directfb: Fix building on armhf-linux.Efraim Flashner
* gnu/packages/graphics.scm (directfb)[arguments]: Add a phase when building for armhf-linux to apply a patch. [native-inputs]: Add patch, patch file. * gnu/packages/patches/directfb-davinci-glibc-228-compat.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it.
2023-06-09gnu: hubbub: Fix build.Andy Tai
* gnu/packages/web.scm (hubbub)[source]: Add patch. * gnu/packages/patches/hubbub-maybe-uninitialized.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Signed-off-by: Andreas Enge <andreas@enge.fr>
2023-06-08gnu: flashrom: Update to 1.3.0.Hilton Chain
* gnu/packages/patches/flashrom-fix-building-on-aarch64.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it. * gnu/packages/flashing-tools.scm (flashrom): Update to 1.3.0. [build-system]: Switch to meson-build-system. [inputs]: Add libjaylink. [native-inputs]: Add cmocka. Actually, at least from 1.2, the exact \"dmidecode\" is not present in dmi.c. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-06-07gnu: sbcl: fix build on riscv64-linux.Zheng Junjie
* gnu/packages/patches/sbcl-riscv-Make-contribs-build-again.patch: New file. * gnu/local.mk(dist_patch_DATA): register it. * gnu/packages/lisp.scm (sbcl): [source]<patches>: Use it here.
2023-06-07Revert "gnu: sbcl: fix build on riscv64-linux."Efraim Flashner
This reverts commit 2a6d2fc1d8e3434e283d6d2e559529b41a242fea.
2023-06-07gnu: sbcl: fix build on riscv64-linux.Efraim Flashner
* gnu/packages/patches/sbcl-riscv-Make-contribs-build-again.patch: New file. * gnu/local.mk(dist_patch_DATA): register it. * gnu/packages/lisp.scm (sbcl): [source]<patches>: Use it here.
2023-06-05gnu: proj-7: Add upstream patch.Ricardo Wurmus
* gnu/packages/patches/proj-7-initialize-memory.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/geo.scm (proj-7)[source]: Add it.
2023-06-04gnu: Add agda-categories.Josselin Poiret
* gnu/packages/patches/agda-categories-use-find.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/agda.scm: New variable agda-categories.