diff options
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index c02e3b90..0f458f68 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -62,3 +62,11 @@ exec_filename_use.patch exec_filename_fix.patch huge-nodecache0001-xxx-huge-nodecache.patch dde-enable-device.patch +introspection0001-hurd-add-an-Hurd-server-introspection-protocol.patch +introspection0002-libintrospection-a-library-for-Hurd-server-introspec.patch +introspection0003-libports-implement-the-Hurd-server-introspection-pro.patch +introspection0004-utils-implement-portinfo-query-process.patch +introspection0005-libdiskfs-annotate-objects-managed-by-libports.patch +introspection0006-libpager-annotate-objects-managed-by-libports.patch +introspection0007-ext2fs-annotate-objects-managed-by-libports.patch +introspection0008-utils-rpctrace-support-attaching-to-servers.patch |