1 files changed, 1 insertions, 13 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 02c62bdc..bdc0719d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,13 +5,11 @@ hurd_console_startup.patch
 init_try_runsystem.gnu.patch
 install-msgids.diff
 libpager_update_seqno.patch
-libpthread_mutex_owner.patch
 libpthread_stubs.patch
 libpthread_tls.patch
 makedev.diff
 pfinet_dhcp.patch
 pflocal.patch
-procfs.patch
 rc.patch
 runsystem_setup_pflocal.patch
 startup-usr-support.patch
@@ -19,18 +17,8 @@ tmp_exec_startup.patch
 ttys.patch
 uptime_w_path_fix.patch
 stat_round.patch
-dir_acces_fix.patch
 libports_stability.patch
 libpthread_fix.patch
-libpthread_setcancel.patch
 extern_inline_fix.patch
-exec_fix.patch
-libpthread_recursive_mutex_initializer.patch
-pfinet-gcc-4.3-fix.patch
-MAKEDEV.patch
-libdiskfs-rename.patch
-libpthread_cancel_init.patch
-libpthread_kill_0.patch
-console_current_vcs.patch
-tmpfs.patch
 proxy-defpager.diff
+libpthread_procfs.patch