diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-07-18 17:18:40 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-07-18 17:21:54 +0200 |
| commit | 4e11cac6be68a674c16965dc74e7da54cd3168df (patch) | |
| tree | 5c0ebf0029e569e675912e30e06dbb36e50e9ada /gnu/local.mk | |
| parent | a8c79839d57acf96df720630b8e6ddee8a8c2cf8 (diff) | |
gnu: mig: Update to 1.8+git20230520.
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.
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 0d0f8c1937..b85be30838 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1594,7 +1594,6 @@ dist_patch_DATA = \ %D%/packages/patches/mia-vtk9.patch \ %D%/packages/patches/mia-vtk92.patch \ %D%/packages/patches/mia-vtk-version.patch \ - %D%/packages/patches/mig-cpu.h-generation.patch \ %D%/packages/patches/mingw-w64-6.0.0-gcc.patch \ %D%/packages/patches/mingw-w64-dlltool-temp-prefix.patch \ %D%/packages/patches/mingw-w64-reproducible-gendef.patch \ |