summary refs log tree commit diff
path: root/gnu/packages/patches
AgeCommit message (Collapse)Author
2023-07-18gnu: rust-ring-0.16: Enable tests.Efraim Flashner
* gnu/packages/crates-io.scm (rust-ring-0.16)[source]: Add a patch with the missing test file. [arguments]: Don't skip tests. * gnu/packages/patches/rust-ring-0.16-test-files.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it.
2023-07-18gnu: rust-ring-0.16: Add missing files.Efraim Flashner
* gnu/packages/crates-io.scm (rust-ring-0.16)[source]: Add patch with missing files. Adjust snippet to delete a pre-generated file. [arguments]: Add a custom phase to rebuild the pre-generated-file. [native-inputs]: Add clang, python-2. * gnu/packages/patches/rust-ring-0.16-missing-files.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it.
2023-07-18gnu: rust-nettle-sys-2: Update to 2.2.0.Efraim Flashner
* gnu/packages/crates-io.scm (rust-nettle-sys-2): Update to 2.2.0. [source]: Remove patch. [cargo-inputs]: Add rust-cc-1, rust-libc-0.2, rust-tempfile-3, rust-vcpkg-0.2. Replace rust-bindgen-0.51 with 0.63. * gnu/packages/patches/rust-nettle-sys-disable-vendor.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it.
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-13gnu: sssd: Update to 2.9.1.Timotej Lazar
* gnu/packages/sssd.scm (sssd): Update to 2.9.1. [native-inputs]: Add bc. * gnu/packages/patches/sssd-system-directories.patch: Adjust for new version. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-07-11gnu: nix: Update to 2.16.1.Zhu Zihao
* gnu/packages/package-management.scm (nix): Update to 2.16.1. [source]: Use HTTPS for package source. [inputs]: Add nlohmann-json. [native-inputs]: Add rapidcheck. [arguments]<#:phases>: In phase "check", change the value of environment variable "NIX_STORE" to "/nix/store" temporarily. * gnu/packages/patches/nix-dont-build-html-doc.diff: Update. Co-authored-by: jgart <jgart@dismail.de>
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-10gnu: openrgb: Update to 0.9.John Kehayias
* gnu/packages/hardware.scm (openrgb): Update to 0.9. * gnu/packages/patches/openrgb-unbundle-hueplusplus.patch: Update.
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-09gnu: maven-pom: Add missing shebangs.Bruno Victal
* gnu/packages/patches/maven-generate-component-xml.patch: Add missing shebang. * gnu/packages/patches/maven-generate-javax-inject-named.patch: Likewise. 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-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-07-01Revert "gnu: nix: Update to 2.16.0."Nicolas Goaziou
This reverts commit 554d46882bc4443dcebbba5aac70b016537d0975. Wrong patch revision.
2023-07-01gnu: nix: Update to 2.16.0.Zhu Zihao
* gnu/packages/package-management.scm (nix): Update to 2.16.0. [inputs]: Add nlohmann-json. [native-inputs]: Add rapidcheck. [arguments]<#:phases>: In phase "check", change the value of environment variable "NIX_STORE" to "/nix/store" temporarily. * gnu/packages/patches/nix-dont-build-html-doc.diff: Update. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
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: ruby-nokogiri: Update to 1.15.2.gemmaro
* gnu/packages/ruby.scm (ruby-nokogiri): Update to 1.15.2. [source]<uri>: Use Git repository. <patches>: apply a patch to disable unneeded test setups. [arguments]: Enable check by running plain minitest. [home-page]: Update to current URL. 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-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-07gnu: hdf4: Add support for riscv64-linux.Efraim Flashner
* gnu/packages/maths.scm (hdf4)[arguments]: Rename custom phase 'add-more-aarch64-support to 'add-more-architecture-support and add support for riscv64-linux. * gnu/packages/patches/hdf4-architectures.patch: Refresh from upstream.
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.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-18 11:39:36 +0000