summaryrefslogtreecommitdiff
path: root/gnu/packages/patches
AgeCommit message (Expand)Author
2024-01-11Merge branch 'lisp-team'...Change-Id: I4ec6ad695392c76c389224255477819fa686eecb Guillaume Le Vaillant
2024-01-10gnu: sbcl: Fix riscv build....* gnu/packages/patches/sbcl-fix-riscv-build.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/lisp.scm (sbcl)[source]: Use it. Change-Id: I63f1b9a7a7b6f3a1961d0a0cb31189b74a60abc3 Guillaume Le Vaillant
2024-01-10gnu: openjdk10: Fix time bomb in ‘GenerateCurrencyData.java’....Fixes <https://issues.guix.gnu.org/68333>, as well. This is a companion to commit 5c0f77f4241c9beac0c82deae946bfdc70b49ff0. * gnu/packages/java.scm (openjdk10)[source]: Add patch. * gnu/packages/patches/openjdk-currency-time-bomb2.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Change-Id: I42fc14d305883f672cd6764a0ee6462852e41a5b Ricardo Wurmus
2024-01-10gnu: openjdk9: Fix time bomb in ‘GenerateCurrencyData.java’....Fixes <https://issues.guix.gnu.org/68333>, as well. This is a companion to commit 5c0f77f4241c9beac0c82deae946bfdc70b49ff0. * gnu/packages/java.scm (openjdk9)[source]: Add patch. * gnu/packages/patches/openjdk-currency-time-bomb.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Change-Id: I45ca1fe5bad922307eba64d46a330a8f233c0f55 Ricardo Wurmus
2024-01-10gnu: icedtea: Fix time bomb in ‘GenerateCurrencyData.java’....Fixes <https://issues.guix.gnu.org/68333>. * gnu/packages/java.scm (icedtea-7)[drop]: Add optional ‘patches’ parameter and honor it. [native-inputs]: Add patch for “jdk-drop”. (icedtea-8): Likewise. * gnu/packages/patches/jdk-currency-time-bomb.patch, gnu/packages/patches/jdk-currency-time-bomb2.patch: New files. * gnu/local.mk (dist_patch_DATA): Add them. Change-Id: I3b4cf562ce4bedb87ce0e7c289e431fbb0dbb6f8 Ludovic Courtès
2024-01-10Merge branch 'master' into lisp-team...Change-Id: I6c2ce53e782a00861c3adf01c2505099daef7728 Guillaume Le Vaillant
2024-01-09gnu: jami: Update to 20231222.2....* gnu/packages/jami.scm (%jami-version): Rename to... (%jami-nightly-version): ... this. Update to 20231222.2. (%jami-daemon-commit): New variable. (%jami-sources): Delete variable. (libjami) Adjust source to use %jami-nightly-version, %jami-daemon-commit. [source]: Fetch from git. Apply libjami-ac-config-files.patch. [arguments] <make-flags>: Skip ut_media_player test. <phases>: Add extend-scheduler-test-timeout and extend-scheduler-test-timeout phases. [inputs]: Replace dbus-c++ with sdbus-c++. Add dhtnet. Replace libgit2 with libgit2-1.6. (jami): Set version to %jami-nightly-version. [source]: Fetch from git. Apply new jami-qml-tests-discovery.patch, jami-skip-tests-requiring-internet.patch and jami-unbundle-dependencies.patch patches. [arguments] <configure-flags>: Add -DWITH_DAEMON_SUBMODULE=OFF. <phases>: Delete change-directory/maybe. Adjust check phase. Add fake-x11-environment, copy-3rdparty-source-dependencies and disable-problematic-tests phases. [inputs]: Add md4c and tidy-html. * gnu/packages/patches/jami-qml-tests-discovery.patch: New file. * gnu/packages/patches/libjami-ac-config-files.patch: Likewise. * gnu/packages/patches/jami-skip-tests-requiring-internet.patch: Likewise. * gnu/packages/patches/jami-unbundle-dependencies.patch: Likewise. * gnu/packages/patches/jami-libjami-headers-search.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Update accordingly. * gnu/packages/patches/jami-disable-integration-tests.patch: Adjust patch. Series-changes: 2 - Update Jami to latest nightly version (20231222.2) Change-Id: If30f1178bdfa29c4ea3e54dbb7997e360788adae Maxim Cournoyer
2024-01-09gnu: ffmpeg-jami: Relocate to (gnu packages video)....To avoid Guile module dependency cycles, inherited packages must be defined in the same module. Use this opportunity to simplify the patches applying mechanism, versioning custom patches the same as for other packages. * gnu/packages/patches/ffmpeg-jami-change-RTCP-ratio.patch: New file. * gnu/packages/patches/ffmpeg-jami-rtp_ext_abs_send_time.patch: Likewise. * gnu/packages/patches/ffmpeg-jami-libopusdec-enable-FEC.patch: Likewise. * gnu/packages/patches/ffmpeg-jami-libopusenc-enable-FEC.patch: Likewise. * gnu/packages/patches/ffmpeg-jami-libopusenc-reload-packet-loss-at-encode.patch: Likewise. * gnu/packages/patches/ffmpeg-jami-remove-mjpeg-log.patch: Likewise. * gnu/packages/patches/ffmpeg-jami-screen-sharing-x11-fix.patch: Likewise. * gnu/local.mk (dist_patch_DATA): Register them. * gnu/packages/jami.scm (jami-apply-custom-patches): Delete procedure. (%ffmpeg-default-configure-flags): Delete variable. (ffmpeg-compose-configure-flags): Delete procedure. (ffmpeg-jami): Move to... * gnu/packages/video.scm (ffmpeg-jami): ... here. Apply patches to origin and repatriate configure flags. Change-Id: Id374fae18240cd76b224915d80b61422635ccb77 Maxim Cournoyer
2024-01-09gnu: Add python-pyreadstat....* gnu/packages/patches/python-pyreadstat-link-libiconv.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/statistics.scm (python-pyreadstat): New variable. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Change-Id: I361df91487412e4bfd26fb728a6999752e6343e5 Troy Figiel
2024-01-09gnu: sbcl: Fix build on powerpc64....* gnu/packages/patches/sbcl-fix-ppc64-build.patch: New file. * gnu/local.mk: Register it. * gnu/packages/lisp.scm (sbcl)[source]: Use it. Change-Id: If81321bc7e4075ac7ec63f7b8d623011b4b975d5 Guillaume Le Vaillant
2024-01-08gnu: guile-fibers: Apply upstream patch fixing libevent timers....* gnu/packages/patches/guile-fibers-libevent-timeout.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/guile-xyz.scm (guile-fibers)[source]: Use it. Change-Id: I872ffe5b193087234d29eed399d6db518c5af4d5 Ludovic Courtès
2024-01-07Merge branch 'master' into mesa-updates...Change-Id: I0b92a95109688a1a4c50572bc25a4e5676e0921e John Kehayias
2024-01-07gnu: dtc: Update to 1.7.0....Enable the python bindings and switch to the meson build system that handles the python bindings better than the Makefile build system here. * gnu/packages/patches/dtc-meson-cell-overflow.patch: New file * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/bootloaders.scm (dtc): Update to 1.7.0. [build-system]: Switch to the meson-build-system. [arguments]: Remove #:make-flags. Add a new 'preparations phase. Do not edit the Makefile in the 'patch-pkg-config phase. Remove the 'configure phase. Change-Id: Ie61c920829ab3a8c32f4924c694dba6bda807711 Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Mathieu Othacehe
2024-01-07gnu: python-uqbar: Update to 0.5.9....* gnu/packages/graphviz.scm (python-uqbar): Update to 0.5.9. [source]: Add patch for Python 3.10 compatibility. [arguments]: Remove outdated patch phase. Change-Id: I81d83efd69bd07fe12790981c48a6e82297908f0 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Troy Figiel
2024-01-04gnu: emacs-ess: Update to 18.10.2-1.3691ecc....* gnu/packages/statistics.scm (emacs-ess): Update to 18.10.2-1.3691ecc. [arguments]: Skip failing tests. * gnu/packages/patches/emacs-ess-fix-obsolete-function-alias.patch: Delete file. * gnu/local.mk: Apply file removal. Change-Id: If8cd54c32c44cd2465f2cdb78317e8f8339f6bc3 Nicolas Goaziou
2024-01-04Merge branch 'master' into mesa-updates...Change-Id: I46ca25bea98d25150877421c6d5161752afabb25 John Kehayias
2024-01-02gnu: emacs-haskell-mode: Update to 17.5....* gnu/packages/emacs-xyz.scm (emacs-haskell-mode): Update to 17.5. * gnu/packages/patches/emacs-haskell-mode-no-redefine-builtin.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Apply file deletion. Change-Id: Ic7d11737af87995610ecf2c3178320901991423d Nicolas Goaziou
2024-01-01gnu: python-pytorch-for-r-torch: Update to 2.0.1....* gnu/packages/machine-learning.scm (python-pytorch-for-r-torch): Update to 2.0.1. * gnu/packages/patches/python-pytorch2-system-libraries.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Change-Id: I97551d543e50f6e511aa0529c097d156cf3f96de Ricardo Wurmus
2024-01-01gnu: Add onnx-for-torch2....* gnu/packages/machine-learning.scm (onnx-for-torch2): New variable. * gnu/packages/patches/onnx-1.13.1-use-system-googletest.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Change-Id: I8a46b9a8096a33bcf949bc4f5d497e22902ab301 Ricardo Wurmus
2024-01-01gnu: Add xnnpack-for-torch2....* gnu/packages/machine-learning.scm (xnnpack-for-torch2): New variable. * gnu/packages/patches/xnnpack-for-torch2-system-libraries.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Change-Id: I1c35f5fbd064fcc6732b924d7cafaa1a7d03ce04 Ricardo Wurmus
2023-12-29gnu: Transmission: Update to 4.0.5....* gnu/packages/bittorrent.scm (transmission): Update to 4.0.5. [source]: Use 'transmission-4.0.5-fix-build.patch'. * gnu/packages/patches/transmission-4.0.5-fix-build.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Change-Id: I8e9486dca07f01628e7886e7ac5757d511056cb7 Leo Famulari
2023-12-28Merge branch 'master' into mesa-updates...Change-Id: I16539f64df739453a83f8dfd962e04910a7d7ff5 John Kehayias
2023-12-23gnu: slim: Update to 1.4.0....* gnu/packages/display-managers.scm (slim)[version]: Update to 1.4.0. [inputs]: Remove input label. [arguments]: Use gexp and remove fix-0-pointer-comparison. [home-pages]: Update to slim-fork's url. * gnu/packages/patches/slim-config.patch: Port to slim-1.4.0. * gnu/packages/patches/slim-display.patch: Port to slim-1.4.0. * gnu/packages/patches/slim-reset.patch: Deleted, no ablilty to port this patch for big change in v1.4.0. * gnu/packages/patches/slim-session.patch: Deleted. seem to work without this patch, further observation is needed. * gnu/packages/patches/slim-sigusr1.patch: Deleted, fixed in upstream. * gnu/local.mk: Remove slim-reset.patch, slim-session.patch, slim-sigur1.patch. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Feng Shu
2023-12-22gnu: u-boot: Update to 2023.10....* gnu/local.mk: De-register patches. * gnu/packages/bootloaders.scm (u-boot): Update to 2023.10. [source]: Remove patches. (u-boot-documentation)[inputs]: Add python-sphinx-prompt. * gnu/packages/patches/u-boot-allow-disabling-openssl.patch: Refresh. * gnu/packages/patches/u-boot-fix-build-python-3.10.patch: Delete file. * gnu/packages/patches/u-boot-fix-u-boot-lib-build.patch: Delete file. * gnu/packages/patches/u-boot-rk3399-enable-emmc-phy.patch: Delete file. * gnu/packages/patches/u-boot-rockchip-inno-usb.patch: Refresh. * gnu/packages/patches/u-boot-sifive-prevent-reloc-initrd-fdt.patch: Delete file. Modifed-by: Vagrant Cascadian <vagrant@debian.org> Signed-off-by: Vagrant Cascadian <vagrant@debian.org> Herman Rimm
2023-12-21Merge branch 'master' into mesa-updates...Change-Id: Icf1dd47b3e0780d16887014bdacb0dbc891bfec5 John Kehayias
2023-12-18gnu: freeimage: Patch 2 CVEs....* gnu/packages/image.scm (freeimage)[source]: Add patches. * gnu/packages/patches/freeimage-CVE-2020-21428.patch, gnu/packages/patches/freeimage-CVE-2020-22524.patch: New files. * gnu/local.mk (dist_patch_DATA): Register them. Change-Id: Iec114f2295cafbc8b55e81c0d8e4a361fd653152 Efraim Flashner
2023-12-17gnu: curl: Update to 8.5.0 [security fixes]....Fixes CVE-2023-46218 and CVE-2023-46219. See <https://curl.se/docs/CVE-2023-46218.html> and <https://curl.se/docs/CVE-2023-46219.html> respectively. * gnu/packages/curl.scm (curl): Update to 8.5.0. * gnu/packages/patches/curl-use-ssl-cert-env.patch: Update patch. Change-Id: Iaa6aa5de0f45576dc06bf5eca1eec502e5c83332 John Kehayias
2023-12-22gnu: dante: Enable preloading support....Fixes <https://issues.guix.gnu.org/63250>. Dante uses dlopen which doesn't work with libc.so but libc.so.6. This fixes socksify, which is patched to skip invoking uname needlessly. * gnu/packages/networking.scm (dante): Enable preloading support. * gnu/packages/patches/dante-non-darwin.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. References: https://github.com/NixOS/nixpkgs/pull/68418#discussion_r343625853 Change-Id: I03a5b6b6e11cf6a0453a4968ff00c6dd627249a8 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Nguyễn Gia Phong
2023-12-16gnu: fpc: Fix building on i686-linux....* gnu/packages/pascal.scm (fpc)[source]: Add patch. * gnu/packages/patches/fpc-glibc-2.34-compat.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I6fde62de63171d7e16754b36db460f4073b1979d Efraim Flashner
2023-12-13gnu: racket: Update to 8.11.1....* gnu/packages/patches/racket-backport-8.10-rktboot.patch: Delete file. * gnu/packages/patches/racket-backport-8.11-layered-docs.patch: New file. * gnu/local.mk (dist_patch_DATA): Update accordingly. * gnu/packages/racket/scm (%racket-origin)[patches]: Likewise. (%racket-version): Update to 8.11.1. (%zuo-version): Update to 1.7. (racket)[inputs]<deinprogramm, draw, drracket, games, gui, htdp> <parser-tools, plot, rackunit, redex, scribble, slideshow, typed-racket> <srfi, string-constants, syntax-color, web-server, xrepl>: Update hashes. <quickscript>: Likewise, and add snippet. * gnu/packages/chez.scm (chez-scheme-for-racket): Update to 9.9.9-pre-release.18. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Philip McGrath
2023-12-10gnu: openmw: Update to 0.48.0....* gnu/packages/game-development.scm (openmw): Update to 0.48.0. * gnu/packages/graphics.scm (openmw-openscenegraph): Update to commit 68c5c5. Change-Id: I5e1ae0d59ead8de7976714cb82e8d514c308f19a Signed-off-by: Ludovic Courtès <ludo@gnu.org> Rodion Goritskov
2023-12-04gnu: Add python-accupy....* gnu/packages/maths.scm (python-accupy): New variable. * gnu/packages/patches/python-accupy-fix-use-of-perfplot.patch: New file. * gnu/packages/patches/python-accupy-use-matplotx.patch: New file. * gnu/local.mk (dist_patch_DATA): Add new patch files. Change-Id: I0222665d54a36830844b3b33e3dcb546741cfaa1 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Felix Gruber
2023-12-03gnu: igt-gpu-tools: Update to 1.28...* gnu/packages/admin.scm (igt-gpu-tools): Update to 1.28. [source]: Remove patch. [inputs]: Add python. * gnu/packages/patches/igt-gpu-tools-Use-libproc2.patch: Remove. * gnu/local.mk (dist_patch_DATA): Remove it. Change-Id: I5dccd7d5a5df0084fabf713949940775671aecd7 Co-authored-by: Ludovic Courtès <ludo@gnu.org> Gabriel Wicki
2023-12-03gnu: zig: Build with baseline cpu by default....* gnu/packages/patches/zig-use-baseline-cpu-by-default.patch: Add file. * gnu/packages/zig.scm (zig-0.10.1): Apply patch above. * gnu/local/mk (dist_patch_DATA): Register it. Change-Id: I40bd28071c97c0dd0a907c704072b52b26d2de28 Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Ekaitz Zarraga
2023-12-02gnu: igraph: Update to 0.10.7....* gnu/packages/graph.scm (igraph): Update to 0.10.7. [source]: Use git-fetch. Apply patch. <snippet>: Remove the entire "vendor" and "src/isomorphism/bliss" directories. Patch CMakeLists.txt to not build and use vendored dependencies. [arguments]: Add -DIGRAPH_INTEGER_SIZE=64 to #:configure-flags. Add phases to use unbundled libraries and build documentation. [native-inputs]: Add bison, docbook-xml-4.3, docbook-xsl, flex, pcg-c, python, source-highlight and xmlto. [inputs]: Remove gmp and libxml2. Add bliss and suitesparse-cxsparse. * gnu/packages/patches/igraph-fix-varargs-integer-size.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Signed-off-by: Ludovic Courtès <ludo@gnu.org> David Elsing
2023-12-02gnu: python-sphinx-prompt: Fix tests....docutils>=0.19 broke the tests, which upstream fixed in a newer commit. Cherry-pick it. * gnu/packages/patches/python-sphinx-prompt-docutils-0.19.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/sphinx.scm (python-sphinx-prompt)[origin]: Use it. Change-Id: I597387a35e6a1da01063b4812e0f919788a13b54 Lars-Dominik Braun
2023-11-30gnu: Add plasp....* gnu/packages/patches/plasp-fix-normalization.patch: New file. * gnu/packages/patches/plasp-include-iostream.patch: New file. * gnu/local.mk (dist_patch_DATA): Register them here. * gnu/packages/potassoc.scm (plasp): New variable. Change-Id: I0d8d64153b180a7d1d8d81888f843458efdf5e51 Liliana Marie Prikler
2023-11-27gnu: php: Update to 8.2.13....* gnu/packages/php.scm (php): Update to 8.2.13. [source]: Remove patch. [arguments]: Adjust the 'prepare-tests phase to skip fewer tests. [inputs]: Replace openssl-1.1 with openssl. * gnu/packages/patches/php-fix-streams-copy-length.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. Change-Id: I29892deda457fdbaa6dd5e01515e97583951836d Efraim Flashner
2023-11-26Merge branch 'master' into mesa-updates...Change-Id: Ide02272218e76dfae6dc9f8748871c8d61704260 John Kehayias
2023-11-25gnu: yggdrasil: Update to 0.5.2....* gnu/packages/networking.scm (yggdrasil): Update to 0.5.2. [propagated-inputs]: Rewrite inputs to replace "go-golang-org-x-sys" with "go-golang-org-x-sys-0.8". Use "go-golang-org-x-sys-0.8". Add "go-github-com-bits-and-blooms-bitset", "go-github-com-bits-and-blooms-bloom", "go-github-com-quic-go-quic-go", and "go-github-com-hjson-hjson-go". * gnu/packages/patches/yggdrasil-extra-config.patch: Update. Change-Id: I3c411524e589f0af52eaa90230810148f6ad4e31 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Artyom V. Poptsov
2023-11-24gnu: go-gopkg-in-yaml-v3: Fix build on 32-bit systems....* gnu/packages/golang.scm (go-gopkg-in-yaml-v3)[source]: Add patch. * gnu/packages/patches/go-gopkg-in-yaml-v3-32bit.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: Ia8a96b15d37a3d2f133da9374cac1e58e38f2d2c Efraim Flashner
2023-11-23gnu: scilab: Update to 2024.0.0....* gnu/packages/maths.scm (scilab): Update to 2024.0.0. Remove patch. [native-inputs]: Switch to AUTOCONF-2.71. [inputs]: Switch to HDF5-1.10; add LIBARCHIVE. [arguments]: Add ‘fix-linking’ phase. Change-Id: Ie1af4dc620cee644388f6b8acf88ea50c4148b65 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Nicolas Graves
2023-11-22gnu: aria2: Unbundle wslay....* gnu/packages/bittorrent.scm (aria2)[source]: Add snippet to delete configure script and remove bundled dependency. Add a patch. [native-inputs]: Add autoconf, automake, gettext-minimal, libtool. [inputs]: Add wslay. * gnu/packages/patches/aria2-unbundle-wslay.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I92390a872454726ff9587518bb535d2105c44ef3 Efraim Flashner
2023-11-21Merge branch 'master' into mesa-updates...Change-Id: I94c6874e5fdf916e3eb911f1a7df610cd3275474 John Kehayias
2023-11-15gnu: ghc-persistent: Fix build on i686-linux....* gnu/packages/haskell-xyz.scm (ghc-persistent)[source]: Add patch. * gnu/packages/patches/ghc-persistent-fix-32bit.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I1b2c8419f3136d6c9df772d7c7abdc83a80d6112 Efraim Flashner
2023-11-15gnu: ghc-memory: Fix building on i686-linux....* gnu/packages/haskell-xyz.scm (ghc-memory)[source]: Add patch. * gnu/packages/patches/ghc-memory-fix-32bit.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I8dc7a13a94ce37021ad402b4e2d0cd061220f670 Efraim Flashner
2023-11-15gnu: ghc-bloomfilter: Update to 2.0.1.2....* gnu/packages/haskell-xyz.scm (ghc-bloomfilter): Update to 2.0.1.2. [source]: Remove patch. Add snippet to fix building on 32-bit systems. [arguments]: Remove field. [home-page]: Update to new home-page. * gnu/packages/patches/ghc-bloomfilter-ghc9.2.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Remove it. Change-Id: Ie61d079b001f804fd28acaca2acd3127b88935d4 Efraim Flashner
2023-11-15gnu: ghc-basement: Fix build on i686-linux....* gnu/packages/haskell-xyz.scm (ghc-basement)[source]: Add patch. * gnu/packages/patches/ghc-basement-fix-32bit.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: Ife75c651d4b9cffa14ec1c5165a9254cfee3f09f Efraim Flashner
2023-11-15gnu: ucx: Update to 1.15.0....* gnu/packages/fabric-management.scm (ucx): Update to 1.15.0. * gnu/packages/patches/ucx-tcp-iface-ioctl.patch: Update for 1.15.0. Ludovic Courtès
2023-11-14gnu: agda-categories: Adapt to agda-stdlib 1.7.3....* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch. * gnu/packages/agda.scm (agda-categories)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c Josselin Poiret
generated by cgit v1.2.3 (git 2.46.2) at 2024-11-14 22:53:09 +0000