diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-11-02 15:44:17 +0100 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-12-03 08:33:12 +0100 |
| commit | d3eb509abe6e239d211bc850c74ed66338f60c99 (patch) | |
| tree | 5e702a7d1716386ad81d4ff35be57f0fe027413e /.editorconfig | |
| parent | 5cb84f2013c5b1e48a7d0e617032266f1e6059e2 (diff) | |
| download | guix-d3eb509abe6e239d211bc850c74ed66338f60c99.tar.gz guix-d3eb509abe6e239d211bc850c74ed66338f60c99.zip | |
gnu: gnumach: Update to v1.8+git20240714.
* gnu/packages/patches/gnumach-version.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/hurd.scm (gnumach-headers): Update to v1.8+git20240714 and use
it.
* gnu/packages/commencement.scm (gnumach-headers-boot0)[origin]: Reset
patches.
Change-Id: I147c64021c2ee79dfc4cd4fd9a29529eef8890c5
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions