diff --git a/gnu/local.mk b/gnu/local.mk
index 1417a3c7d5..0ee096ad8a 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -470,7 +470,6 @@ dist_patch_DATA =						\
   %D%/packages/patches/clucene-contribs-lib.patch               \
   %D%/packages/patches/cursynth-wave-rand.patch			\
   %D%/packages/patches/dbus-helper-search-path.patch		\
-  %D%/packages/patches/dealii-p4est-interface.patch		\
   %D%/packages/patches/devil-CVE-2009-3994.patch		\
   %D%/packages/patches/devil-fix-libpng.patch			\
   %D%/packages/patches/dico-idxgcide-bug.patch			\