Janneke Nieuwenhuizen d3eb509abe 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

2024-12-03 08:33:12 +01:00

907 B

Raw Permalink Blame History

View Raw